803 search results - page 109 / 161 » Building Formal Models for Software Requirements |
157
Voted
ER
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
142
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
152
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
164
Voted
RE
2008
Springer
15 years 3 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
178
Voted
DOLAP
2005
ACM
15 years 5 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...