Sciweavers

13099 search results - page 57 / 2620
» Cooperative method development
Sort
View
RISE
2005
Springer
14 years 2 months ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
IPPS
1998
IEEE
14 years 1 months ago
A Development Tool Environment for Configuration, Build, and Launch of Complex Applications
The increasing size and complexity of high-performance applications have motivated a new round of innovation related to configuration, build, and launch of applications for large ...
Mike Krueger
WETICE
1998
IEEE
14 years 1 months ago
Software Agents: Process Models and User Profiles in Distributed Software Development
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
Norbert Glaser, Jean-Claude Derniame
FM
1999
Springer
101views Formal Methods» more  FM 1999»
14 years 1 months ago
Systems Development Using Z Generics
Fiona Polack, Susan Stepney