Modeling Companion for Software Practitioners

Modeling Companion for Software Practitioners

This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple for...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Börger, Egon (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Raschke, Alexander (http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Θέματα:	Software engineering. Mathematical logic. Management information systems. Industrial management. Software Engineering. Mathematical Logic and Formal Languages. Business Process Management.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Handbook of Software Engineering
Έκδοση: (2019)

Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
Έκδοση: (2000)

ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings /
Έκδοση: (2003)

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings /
Έκδοση: (2019)

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers /
Έκδοση: (2018)

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings /
Έκδοση: (2019)

ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
Έκδοση: (2000)

Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
Έκδοση: (2001)

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

Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
Έκδοση: (2002)

Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings /
Έκδοση: (2000)

Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
Έκδοση: (2001)

Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings /
Έκδοση: (1999)

Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
Έκδοση: (1998)

Part-Whole Reasoning in an Object-Centered Framework
ανά: Lambrix, Patrick, κ.ά.
Έκδοση: (2000)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings /
Έκδοση: (2002)

Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
Έκδοση: (1999)

Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
Έκδοση: (1998)

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
Έκδοση: (1998)

Recent Trends in Algebraic Development Techniques 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /
Έκδοση: (2002)

Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings /
Έκδοση: (2002)

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Έκδοση: (2003)

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /
Έκδοση: (2018)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
Έκδοση: (2019)

Conceptual Modeling -- ER 2003 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings /
Έκδοση: (2003)

Conceptual Modeling - ER 2002 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings /
Έκδοση: (2003)

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings /
Έκδοση: (2018)

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings /
Έκδοση: (2019)

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings /
Έκδοση: (2018)

Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
Έκδοση: (2003)

Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
Έκδοση: (2004)

Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings /
Έκδοση: (1999)

Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
Έκδοση: (2003)

FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
Έκδοση: (2001)

Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 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)

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)

Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
Έκδοση: (2001)

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

Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
Έκδοση: (2003)

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

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