Kanalak - Rigorous Software Engineering for Service-Oriented Systems : :: Biblioteca ITESO

Antzeko izenburuak: Rigorous Software Engineering for Service-Oriented Systems :

Quick Look
Rigorous Software Development : An Introduction to Program Verification /
Quick Look
Service Engineering : European Research Results /
Quick Look
Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers /
Quick Look
Agent-Oriented Software Engineering XIII /
Quick Look
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions /
Quick Look
Service-Oriented Computing: Agents, Semantics, and Engineering : AAMAS 2008 International Workshop, SOCASE 2008 Estoril, Portugal, May 12, 2008 Proceedings /
Quick Look
Security for Web Services and Service-Oriented Architectures /
Quick Look
Agent-Based Service-Oriented Computing /
Quick Look
Software Service and Application Engineering : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday /
Quick Look
Grids and Service-Oriented Architectures for Service Level Agreements /
Quick Look
Service-Oriented Crowdsourcing : Architecture, Protocols and Algorithms /
Quick Look
Service-Oriented Computing: Agents, Semantics, and Engineering : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings /
Quick Look
Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
Quick Look
Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers /
Quick Look
Engineering Methods in the Service-Oriented Context : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011, Proceedings /
Quick Look
Service-Oriented Computing: Agents, Semantics, and Engineering : AAMAS 2009 International Workshop, SOCASE 2009, Budapest, Hungary, May 11, 2009, Revised Selected Papers /
Quick Look
Service-Oriented Modeling : Service Analysis, Design, and Architecture /
Quick Look
Advances in Service-Oriented and Cloud Computing /
Quick Look
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers /
Quick Look
Fundamental Approaches to Software Engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
Quick Look
Rigorous Development of Complex Fault-Tolerant Systems /
Quick Look
Agent-Oriented Software Engineering IV : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers /
Quick Look
Service Oriented Architecture for Dummies /
Quick Look
Service-Oriented Computing : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings /

Egilea: Martin Wirsing, Matthias Hölzl

Quick Look
Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0