Programvaruteknik

This book constitutes the thoroughly refereed proceedings of five international workshops held in Ljubljana, Slovenia, in conjunction with the 28th International Conference on …

This book constitutes the refereed conference proceedings of the 9th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2022, which was held in …

In Unternehmen, Verwaltungen und Organisationen erledigen Mitarbeiterinnen und Mitarbeiter Arbeitsaufgaben, damit Ziele - reicht werden können. Dabei stützen sie sich immer …

For introductory courses in Software Engineering. This introduction to software engineering and practice addresses both procedural and object-oriented development. The book applies …

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree- ment due to different, and often …

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation.

Agents represent an exciting and promising new approach to building a wide range of software applications. Agents are autonomous problem-solving entities that are able to flexibly …

The three-volume set LNICST 624, 625, 626 constitutes the refereed proceedings of the 20th EAI International Conference on Collaborative Computing: Networking, Applications and …

This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, …

Here is all the practical, hands-on information you need to build, manage and maintain a heterogeneous computing environment with hardware, software, and network equipment from a …