803 search results - page 19 / 161 » Building Formal Models for Software Requirements |
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequenc...
174
click to vote
SIGSOFT
2011
ACM
14 years 6 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
134
click to vote
FIRBPERF
2005
IEEE
15 years 5 months ago
2005
IEEE
Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using aut...
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
100
click to vote
FAABS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...