Silvio Meira

Latest

• Programming the Universe: The First Commandment of Software Engineering for all Varieties of Information Systems
• A System For Translating Executable VDM Specifications Into Lazy ML
• From VDM Specifications To Functional Prototypes
• Prototyping Action Semantics using Functional Languages
• From Model Based Specifications to Functional Prototypes
• Tradução de Tipos de Especificação para Protótipo
• Notação VDM Executável em Standard ML
• Protótipos Funcionais a partir de Especificações Formais em VDM