Sciweavers

10239 search results - page 128 / 2048
» Postmodern Software Development
Sort
View
TOOLS
1999
IEEE
15 years 6 months ago
A Formal Software Development Approach Based on COOZ and Refinement Calculus
Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...
WETICE
1998
IEEE
15 years 6 months ago
Coordinating Management Activities in Distributed Software Development Projects
Fawsy Bendeck, Sigrid Goldmann, Harald Holz, Boris...
172
Voted
FM
1998
Springer
345views Formal Methods» more  FM 1998»
15 years 6 months ago
Enriching the Software Development Process by Formal Methods
Manfred Broy, Oscar Slotosch