- Satish Mahadevan Srinivasan, Mansour Zand:
Making Use Case Slices Manage Variability in Aspect-based Product Line. MSVVEIS 2009: 141-148 - Sven Tackenberg, Sebastian Schneider:
Multi Project Organization Optimization using Genetic Algorithm. MSVVEIS 2009: 101-115 - Tomasz Walkowiak, Katarzyna Michalska:
Information Systems Configuration Analysis using Event-driven Computer Simulation. MSVVEIS 2009: 162-167 - Agustín Yagüe, Juan Garbajosa:
The Role of Testing in Agile and Conventional Methodologies. MSVVEIS 2009: 93-100 - Ahlem Ben Younes, Leila Jemni Ben Ayed:
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. MSVVEIS 2009: 149-155 - José Francisco Zelasco, Judith Donayo:
Database Integrity in Integrated Systems. MSVVEIS 2009: 132-140 - Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009. INSTICC PRESS 2009, ISBN 978-989-8111-90-6 [contents] - 2008
- Sérgio Agostinho, Pedro Guerreiro, Hugo Taborda:
An Aspect for Design by Contract in Java. MSVVEIS 2008: 119-128 - Leila Jemni Ben Ayed, Fatma Siala:
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. MSVVEIS 2008: 190-198 - Amelia Badica, Costin Badica:
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP. MSVVEIS 2008: 9-18 - André Bögelsack, Holger Jehle, Holger Wittges, Jörg Schmidl, Helmut Krcmar:
An Approach to Simulate Enterprise Resource Planning Systems. MSVVEIS 2008: 160-169 - Lawrence Cabac, Ragna Dirkner, Daniel Moldt:
Modeling with Service Dependency Diagrams. MSVVEIS 2008: 109-118 - María Victoria Cengarle:
Approaches to an All-encompassing Formal Semantics for the UML. MSVVEIS 2008: 3-4 - Vincent Chapurlat:
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. MSVVEIS 2008: 5-6 - Lorena Chavarría-Báez, Xiaoou Li:
Active Database System Realized by a Petri Net Approach. MSVVEIS 2008: 150-159 - George Eleftherakis, Ognen Paunovski:
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. MSVVEIS 2008: 180-189 - Hongming Liu, Xiaoping Jia, Lizhang Qin, Adam Steele:
A Model Transformation Framework for Model Driven Engineering. MSVVEIS 2008: 59-70 - Jesús Martínez, Cristóbal Jiménez:
Software Model Checking for Internet Protocols with Java PathFinder. MSVVEIS 2008: 91-100 - Ammar Mohammed, Ulrich Furbach:
Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149 - Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche:
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. MSVVEIS 2008: 49-58 - Thierry Nicola, Ulrich Ultes-Nitsche:
Weakly Continuation Closed Homomorphisms on Automata. MSVVEIS 2008: 39-48 - Liam Peyton, Bo Zhan, Bernard Stepien:
A Case Study in Integrated Quality Assurance for Performance Management Systems. MSVVEIS 2008: 129-138 - Viara Popova, Alexei Sharpanskykh:
Formal Goal-based Modeling of Organizations. MSVVEIS 2008: 19-28 - Oana Otilia Prisecaru:
A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows. MSVVEIS 2008: 29-38 - Mårten Simonsson, Robert Lagerström, Pontus Johnson:
The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction. MSVVEIS 2008: 170-179 - Linda Terlouw:
Comparing Methodologies for Service-Orientation using the Generic System Development Process. MSVVEIS 2008: 101-108 - Matthias Wester-Ebbinghaus, Daniel Moldt:
Modelling Multi-Agent Systems with Organizations in Mind. MSVVEIS 2008: 81-90 - Kenro Yatake, Takuya Katayama:
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS 2008: 71-80 - Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008. INSTICC PRESS 2008, ISBN 978-989-8111-43-2 [contents] - 2007
- Nasreddine Aoumeur, Gunter Saake:
UML-driven Information Systems and their Formal Integration Validation and Distribution. MSVVEIS 2007: 63-73
