Software Agent-Based Applications Platforms and Development Kits

Ehrig - Formal Methods and Software Development. Proceedings of the In - X555z

Ma - Serious Games Development and Applications Third International - X555z

Endres - Software Development Environments and Case Technology Europ - X555z

Bjrner - VDM '90. VDM and Z - Formal Methods in Software Development - X555z

Langer - Guide to Software Development Designing and Managing the Li - X555z

Habermann - System Development and Ada CRAI Workshop on Software Fac - X555z

Bove - Language Engineering and Rigorous Software Development Interna - X555z