1988 search results - page 14 / 398 » Engineering formal metatheory |
SAC
2010
ACM
13 years 5 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
ZUM
1994
Springer
13 years 11 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
DATESO
2008
13 years 9 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...