311 search results - page 23 / 63 » Tool support for the navigation in graphical models |
BMCBI
2008
13 years 8 months ago
2008
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
RE
2002
Springer
13 years 8 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
AGTIVE
2007
Springer
14 years 14 days ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
APSEC
1999
IEEE
14 years 23 days ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
ECMDAFA
2006
Springer
14 years 4 days ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...