1121 search results - page 91 / 225 » Building Formal Requirements Models for Reliable Software |
WER
2007
Springer
15 years 6 months ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
SIGSOFT
2009
ACM
16 years 19 days ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
139
click to vote
ICSE
2009
IEEE-ACM
16 years 21 days ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
100
click to vote
WEBI
2009
Springer
15 years 6 months ago
2009
Springer
—In open multiagent systems, agents need to model their environments in order to identify trustworthy agents. Models of the environment should be accurate so that decisions about...