1601 search results - page 59 / 321 » The affordable application of formal methods to software eng... |
ICFCA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
XPU
2009
Springer
14 years 1 months ago
2009
Springer
Software Product Line Engineering (SPLE) promises to lower the costs of developing individual applications as they heavily reuse existing artifacts. Besides decreasing costs, softw...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
ICSE
2000
IEEE-ACM
14 years 19 days ago
2000
IEEE-ACM
By the early 1990s the need for reengineering legacy systems was already acute, but recently the demand has increased significantly with the shift toward web-based user interfaces...