1481 search results - page 35 / 297 » Enriching the Software Development Process by Formal Methods |
147
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
120
click to vote
ADBIS
2005
Springer
15 years 8 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
143
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
138
click to vote
DAGSTUHL
1992
15 years 4 months ago
1992
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
102
Voted
PROFES
2007
Springer
15 years 9 months ago
2007
Springer
We present the application of the process workshop method to define revised work processes in software development companies. Through two empirical action research studies, we stud...