New Modeling Concepts for Todayβ€™s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

New Modeling Concepts for Todayβs Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	MΓΌnch, JΓΌrgen
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Yang, Ye, SchΓ€fer, Wilhelm
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6195
Θέματα:	Computer science Computer Communication Networks Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering/Programming and Operating Systems
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-14347-2

Παρόμοια τεκμήρια

Software Engineering 3 Domains, Requirements, and Software Design
ανά: BjΓΈner, Dines
Έκδοση: (2006)

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
ανά: Baudry, Benoit
Έκδοση: (2010)

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
ανά: Bouajjani, Ahmed
Έκδοση: (2010)

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ανά: Pnueli, Amir
Έκδοση: (2010)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ανά: Pol, Jaco
Έκδοση: (2010)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
ανά: Barthe, Gilles
Έκδοση: (2010)

Architecting Dependable Systems VII
ανά: Casimiro, Antonio
Έκδοση: (2010)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Ong, Luke
Έκδοση: (2010)

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ανά: Kurki-Suonio, Reino
Έκδοση: (2005)

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
ανά: Bowman, Howard
Έκδοση: (2006)

Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
ανά: Real, Jorge
Έκδοση: (2010)

ECOOP 2010 β Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
ανά: DβHondt, Theo
Έκδοση: (2010)

Conceptual Modeling β ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ανά: Parsons, Jeffrey
Έκδοση: (2010)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ανά: Petrenko, Alexandre
Έκδοση: (2010)

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
ανά: Kowalewski, Stefan
Έκδοση: (2010)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
ανά: Boer, Frank S.
Έκδοση: (2010)

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
ανά: Tratt, Laurence
Έκδοση: (2010)

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ανά: Γlveczky, Peter Csaba
Έκδοση: (2010)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ανά: Lilius, Johan
Έκδοση: (2010)

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ανά: Hatcliff, John
Έκδοση: (2010)

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings
ανά: Vitek, Jan
Έκδοση: (2010)

Testing β Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
ανά: Bottaci, Leonardo
Έκδοση: (2010)

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
ανά: Arbab, Farhad
Έκδοση: (2010)

Semantics with Applications: An Appetizer
ανά: Nielson, Hanne Riis
Έκδοση: (2007)

Abstract Computing Machines A Lambda Calculus Perspective
ανά: Kluge, William S.
Έκδοση: (2005)

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
ανά: Hull, Richard
Έκδοση: (2010)

Advanced Lectures on Software Engineering LASER Summer School 2007/2008
ανά: MΓΌller, Peter
Έκδοση: (2010)

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
ανά: KΓΌhne, Thomas
Έκδοση: (2010)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
ανά: Dix, JΓΌrgen
Έκδοση: (2010)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ανά: Barringer, Howard
Έκδοση: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
ανά: MΓ©ry, Dominique
Έκδοση: (2010)

Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
ανά: Fraser, Gordon
Έκδοση: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ανά: Chatterjee, Krishnendu
Έκδοση: (2010)

Categories for Software Engineering
ανά: Fiadeiro, JosΓ© Luiz
Έκδοση: (2005)

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
ανά: Blesa, Maria J.
Έκδοση: (2010)

Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
ανά: Engels, Gregor
Έκδοση: (2010)

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
ανά: HorvΓ'th, ZoltΓ'n
Έκδοση: (2010)

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Rosenblum, David S
Έκδοση: (2010)

DRAWING PROGRAMS:The Theory and Practice of Schematic Functional Programming
ανά: Addis, Tom
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών