Sciweavers

1823 search results - page 22 / 365
» Formal specification: a roadmap
Sort
View
133
Voted
ESAW
2009
Springer
15 years 8 months ago
Navigational Web-Interfaces from Formal Tropos Specification
Komminist Weldemariam
DFG
2004
Springer
15 years 8 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
182
Voted
EMSOFT
2006
Springer
15 years 8 months ago
Towards a formal foundation for domain specific modeling languages
Ethan K. Jackson, Janos Sztipanovits
113
Voted
OOPSLA
2000
Springer
15 years 8 months ago
Formal specification of CORBA services: experience and lessons learned
Rémi Bastide, Philippe A. Palanque, Ousmane...
SPW
2000
Springer
15 years 8 months ago
Making Sense of Specifications: The Formalization of SET
Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...