3801 search results - page 437 / 761 » An Approach to Modeling Software Safety |
177
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
154
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
180
click to vote
UML
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
213
click to vote
AGTIVE
2007
Springer
15 years 10 months 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...
197
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...