803 search results - page 137 / 161 » Building Formal Models for Software Requirements |
108
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
103
click to vote
BIOSTEC
2008
15 years 3 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...
142
click to vote
ECBS
1999
IEEE
15 years 6 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
108
Voted
EWSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
108
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...