1663 search results - page 56 / 333 » Software Reuse and Safety |
ER
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...
FASE
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
DSN
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
IWPC
2008
IEEE
14 years 4 months ago
2008
IEEE
Reusing syntax specifications without embedded arbitrary semantic actions is straightforward because the semantic analysis phases of new applications can feed off trees or other ...