1137 search results - page 27 / 228 » Disciplined Methods of Software Specification: A Case Study |
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
ICSE
1997
IEEE-ACM
15 years 1 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
67
Voted
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
HASE
1998
IEEE
15 years 1 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...