649 search results - page 39 / 130 » Formalizing Rework in Software Processes |
CAISE
1995
Springer
14 years 11 days ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
SEFM
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
CLEIEJ
2010
13 years 6 months ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
SAFECOMP
1998
Springer
14 years 12 days ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...