The Unified Modeling Language. <<UML>>'98: Beyond the Notation First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers /

The Unified Modeling Language. <<UML>>'98: Beyond the Notation First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers /

This volume contains mainly the revised versions of papers presented at the wo- shop '98, "Beyond the Notation", that took place in Mulhouse, France on June 3-4, 1998. We thank all those that have made this possible, and particularly all the people in Mulhouse that worked hard to make...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bezivin, Jean (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Muller, Pierre-Alain (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Έκδοση:	1st ed. 1999.
Σειρά:	Lecture Notes in Computer Science, 1618
Θέματα:	Software engineering. Computer programming. Programming languages (Electronic computers). Software Engineering/Programming and Operating Systems. Programming Techniques. Programming Languages, Compilers, Interpreters. Software Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

UML 2000 - The Unified Modeling Language: Advancing the Standard Third International Conference York, UK, October 2-6, 2000 Proceedings /
Έκδοση: (2000)

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings /
Έκδοση: (2001)

ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
Έκδοση: (1997)

ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
Έκδοση: (1998)

Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
Έκδοση: (1999)

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings /
Έκδοση: (2003)

UML 2004 - The Unified Modeling Language Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
Έκδοση: (2004)

UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings /
Έκδοση: (2002)

Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Έκδοση: (1998)

UML'99 - The Unified Modeling Language: Beyond the Standard Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings /
Έκδοση: (1999)

Fundamental Approaches to Software Engineering First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Έκδοση: (1998)

Consolidated Ada Reference Manual Language and Standard Libraries /
Έκδοση: (2000)

Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Έκδοση: (1998)

Regex Quick Syntax Reference Understanding and Using Regular Expressions /
ανά: Nagy, Zsolt, κ.ά.
Έκδοση: (2018)

Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers /
Έκδοση: (1999)

Advanced Functional Programming Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures /
Έκδοση: (1999)

Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
Έκδοση: (1998)

Fundamental Approaches to Software Engineering Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
Έκδοση: (2000)

Formal Methods for Software Architectures Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures /
Έκδοση: (2003)

Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings /
Έκδοση: (2001)

Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
Έκδοση: (2002)

Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings /
Έκδοση: (2001)

SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
Έκδοση: (2000)

Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings /
Έκδοση: (2004)

Fundamental Approaches to Software Engineering Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Έκδοση: (1999)

Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
Έκδοση: (2002)

Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
Έκδοση: (2003)

Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
Έκδοση: (2001)

FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Έκδοση: (2003)

Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings /
Έκδοση: (2001)

Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
Έκδοση: (2000)

From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
Έκδοση: (2004)

Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
Έκδοση: (2002)

Generative and Component-Based Software Engineering First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers /
Έκδοση: (2000)

Reflection and Software Engineering
Έκδοση: (2000)

Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
Έκδοση: (2000)

Modular Specification and Verification of Object-Oriented Programs
ανά: Müller, Peter, κ.ά.
Έκδοση: (2002)

Introduction to Programming with Fortran
ανά: Chivers, Ian, κ.ά.
Έκδοση: (2018)

Practical TLA+ Planning Driven Development /
ανά: Wayne, Hillel, κ.ά.
Έκδοση: (2018)

Bad Programming Practices 101 Become a Better Coder by Learning How (Not) to Program /
ανά: Beecher, Karl, κ.ά.
Έκδοση: (2018)

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