3765 search results - page 109 / 753 » Formal Methods for Systems Engineering Behavior Models |
113
Voted
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
124
click to vote
MATA
2000
Springer
15 years 6 months ago
2000
Springer
In order to model telecommunications services as mobile agent system, we are defining a methodology based on the RM-ODP standards. Our approach makes the distinction between the se...
121
click to vote
EMISA
2007
Springer
15 years 8 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
110
click to vote
ICSE
1993
IEEE-ACM
15 years 6 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
105
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....