Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Montali, Marco
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Business Information Processing 56
Θέματα:	Computer science Software engineering Logic design Information systems Management information systems Computer Science Information Systems Applications (incl.Internet) Logics and Meanings of Programs Software Engineering Business Information Systems Computer Appl. in Administrative Data Processing
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-14538-4

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

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
ανά: Babar, Muhammad Ali
Έκδοση: (2010)

Research into Practice β Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
ανά: Heineman, George T
Έκδοση: (2010)

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers
ανά: Maciaszek, Leszek A
Έκδοση: (2010)

Practice-Driven Research on Enterprise Transformation Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings
ανά: Harmsen, Frank
Έκδοση: (2010)

Scandinavian Information Systems Research First Scandinavian Conference on Information Systems, SCIS 2010, Rebild, Denmark, August 20-22, 2010. Proceedings
ανά: Kautz, Karlheinz
Έκδοση: (2010)

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
ανά: Prodan, Radu
Έκδοση: (2007)

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
ανά: Janowski, Tomasz
Έκδοση: (2010)

Intentional Perspectives on Information Systems Engineering
ανά: Nurcan, Selmin
Έκδοση: (2010)

Strategic IT Management A Toolkit for Enterprise Architecture Management
ανά: Hanschke, Inge
Έκδοση: (2010)

Enterprise, Business-Process and Information Systems Modeling 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Proceedings
ανά: Bider, Ilia
Έκδοση: (2010)

Trends in Enterprise Architecture Research 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings
ανά: Proper, Erik
Έκδοση: (2010)

Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers
ανά: Morin, Jean-Henry
Έκδοση: (2010)

Advances in Enterprise Engineering IV 6th International Workshop, CIAO! 2010, held at DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings
ανά: Albani, Antonia
Έκδοση: (2010)

Enterprise and Organizational Modeling and Simulation 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Selected Papers
ανά: Barjis, Joseph
Έκδοση: (2010)

Modern Business Process Automation YAWL and its Support Environment
ανά: Hofstede, Arthur H. M.
Έκδοση: (2010)

Information Systems for eGovernment A Quality-of-Service Perspective
ανά: Viscusi, Gianluigi
Έκδοση: (2010)

Model-Driven Design Using Business Patterns
ανά: Hruby, Pavel
Έκδοση: (2006)

Engineering and Managing Software Requirements
ανά: Aurum, Aybuke
Έκδοση: (2005)

Essential Software Architecture
ανά: Gorton, Ian
Έκδοση: (2006)

Software Product Line Engineering Foundations, Principles, and Techniques
ανά: Pohl, Klaus
Έκδοση: (2005)

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
ανά: England, David
Έκδοση: (2010)

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
ανά: Siegler, Simon
Έκδοση: (2010)

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
ανά: Brand, Mark
Έκδοση: (2010)

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
ανά: Ghosh, Sudipto
Έκδοση: (2010)

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
ανά: Borba, Paulo
Έκδοση: (2010)

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

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
ανά: Katz, Shmuel
Έκδοση: (2010)

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

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
ανά: Debbabi, Mourad
Έκδοση: (2010)

Security for Web Services and Service-Oriented Architectures
ανά: Bertino, Elisa
Έκδοση: (2010)

Multiagent Engineering Theory and Applications in Enterprises
ανά: Kirn, Stefan
Έκδοση: (2006)

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers
ανά: Rinderle-Ma, Stefanie
Έκδοση: (2010)

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

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

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
ανά: Margaria, Tiziana
Έκδοση: (2010)

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
ανά: Margaria, Tiziana
Έκδοση: (2010)

Business Information Systems Workshops BIS 2010 International Workshops, Berlin, Germany, May 3-5, 2010. Revised Papers
ανά: Abramowicz, Witold
Έκδοση: (2010)

The Practice of Enterprise Modeling Third IFIP WG 8.1 Working Conference, PoEM 2010, Delft, The Netherlands, November 9-10, 2010. Proceedings
ανά: Bommel, Patrick
Έκδοση: (2010)

Enterprise Architecture at Work Modelling, Communication, and Analysis
ανά: Lankhorst, Marc
Έκδοση: (2005)

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