185 search results - page 30 / 37 » SOFL: A Formal Engineering Methodology for Industrial Applic... |
KCAP
2005
ACM
14 years 2 months ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
CAD
1999
Springer
13 years 8 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
EMSOFT
2009
Springer
14 years 3 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
IWPSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
DAGSTUHL
2006
13 years 10 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...