Software Engineering
Overview
Works: | 72 works in 0 publications in 0 languages |
---|
Titles
Architecture Description Languages :IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /
by:
(Electronic resources)
Engineering Theories of Software Intensive Systems :Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3��5 August 2004 /
by:
(Electronic resources)
Enterprise Architecture at Work :Modelling, Communication, and Analysis /
by:
(Electronic resources)
Prozessubergreifendes Projektmanagement :Grundlagen erfolgreicher Projekte /
by:
(Electronic resources)
Best Practices in Software Measurement :How to use metrics to improve project and process performance /
by:
(Electronic resources)
Form-Oriented Analysis :A New Methodology to Model Form-Based Applications /
by:
(Electronic resources)
A Theory of Distributed Objects :Asynchrony, Mobility, Groups, Components /
by:
(Electronic resources)
A Practical Theory of Reactive Systems :Incremental Modeling of Dynamic Behaviors /
by:
(Electronic resources)
Learning Design :A Handbook on Modelling and Delivering Networked Education and Training /
by:
(Electronic resources)
Software Product Line Engineering :Foundations, Principles, and Techniques /
by:
(Electronic resources)
Software Engineering Techniques Applied to Agricultural Systems :An Object-Oriented and UML Approach /
by:
(Electronic resources)
Open Source Systems :IFIP Working Group 2.13 Foundation on Open Source Software, June 8-10, 2006, Como, Italy /
by:
(Electronic resources)
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective /
by:
(Electronic resources)
Concurrency Theory /Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
by:
(Electronic resources)
Mobile Information Systems :Infrastructure and Design for Adaptivity and Flexibility /
by:
(Electronic resources)
Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic /
by:
(Electronic resources)
Verification of Object-Oriented Software. The KeY Approach :Foreword by K. Rustan M. Leino /
by:
(Electronic resources)
AdvancED ActionScript Components :Mastering the Flash Component Architecture /
by:
(Electronic resources)
Ada 2005 Reference Manual. Language and Standard LibrariesInternational Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 /
by:
(Electronic resources)
Dependable Systems: Software, Computing, NetworksResearch Results of the DICS Program /
by:
(Electronic resources)
Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
by:
(Electronic resources)
Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
(Electronic resources)
Integrated Formal Methods :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by:
(Electronic resources)
Engineering Environment-Mediated Multi-Agent SystemsInternational Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers /
by:
(Electronic resources)
Central European Functional Programming Schoolsecond summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected /
by:
(Language materials, printed)
Engineering Theories of Software Intensive SystemsProceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
by:
(Electronic resources)
Deadlock resolution in automated manufacturing systemsa novel Petri Net approach /
by:
(Electronic resources)
Show more
Fewer
Subjects