11462 search results - page 370 / 2293 » Developing Application-Centric Methods |
122
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
145
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
140
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
130
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
143
click to vote
SOMET
2007
15 years 6 months ago
2007
This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...