Sciweavers

10239 search results - page 128 / 2048
» Postmodern Software Development
Sort
View
TOOLS
1999
IEEE
15 years 11 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 11 months ago
Coordinating Management Activities in Distributed Software Development Projects
Fawsy Bendeck, Sigrid Goldmann, Harald Holz, Boris...
258
Voted
FM
1998
Springer
345views Formal Methods» more  FM 1998»
15 years 11 months ago
Enriching the Software Development Process by Formal Methods
Manfred Broy, Oscar Slotosch