3801 search results - page 435 / 761 » An Approach to Modeling Software Safety |
184
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
200
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
202
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
162
Voted
UML
2001
Springer
15 years 11 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
184
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...