1146 search results - page 58 / 230 » Formal Specification Generation from Requirement Documents |
106
click to vote
ICSE
1993
IEEE-ACM
15 years 1 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
SOCA
2008
IEEE
14 years 9 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
108
click to vote
DEXA
1997
Springer
15 years 1 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
ACL
2010
14 years 7 months ago
2010
In the business world, analyzing and dealing with risk permeates all decisions and actions. However, to date, risk identification, the first step in the risk management cycle, has...
JUCS
2008
14 years 9 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...