1726 search results - page 209 / 346 » Traits: Tools and Methodology |
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
13 years 9 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
AI
2004
Springer
13 years 9 months ago
2004
Springer
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
FMSD
2002
13 years 9 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
JSI
1998
13 years 9 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
RTS
2008
13 years 8 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...