default search action
MSVVEIS 2005: Miami, FL, USA
- Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005. INSTICC Press 2005, ISBN 972-8865-22-8
Invited Speakers
- Xudong He:
A Framework for Ensuring System Dependability from Design to Implementation. MSVVEIS 2005 - Allen Goldberg, Klaus Havelund:
Automated Runtime Verification with Eagle. MSVVEIS 2005
Full Papers
- Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche:
Model-checking Inherently Fair Linear-time Properties. MSVVEIS 2005: 3-8 - Macario Polo Usaola, Andres Flores:
Towards Run-time Component Integration on Ubiquitous Systems. MSVVEIS 2005: 9-18 - Jaime Ramírez, Angélica de Antonio:
Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. MSVVEIS 2005: 19-28 - Dejan Gradisar, Gasper Music:
Petri-net modeling of production systems based on production management data. MSVVEIS 2005: 29-38 - Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez:
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. MSVVEIS 2005: 39-48 - Paulo Sérgio Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich, Fabiano Salvadori:
Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks. MSVVEIS 2005: 49-57 - Andres Flores, Macario Polo:
Towards Application Suitability for PvC Environments. MSVVEIS 2005: 58-62
Short Papers
- Kåre J. Kristoffersen, Yvonne Dittrich:
Expanding Database Systems into self-verifying Entities. MSVVEIS 2005: 65-70 - Wing Lok Yeung, Karl R. P. H. Leung:
Deriving Test Cases from B Machines Using Class Vectors. MSVVEIS 2005: 71-76 - Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche:
A Unit Testing Framework for Network Configurations. MSVVEIS 2005: 77-82 - Frédéric Gervais, Marc Frappier, Régine Laleau:
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88 - Joshua J. Pauli, Dianxiang Xu:
Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. MSVVEIS 2005: 89-95 - Joselito Medina Marín, Xiaoou Li:
An Active Rule Base Simulator based on Petri Nets. MSVVEIS 2005: 96-101 - Josko Dvornik, Srdan Dvornik, Eno Tireli:
Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating. MSVVEIS 2005: 102-106 - Joseph Barjis:
An Example of Business Process Simulation Using ARENA. MSVVEIS 2005: 107-112
Posters
- Nan Niu, Steve M. Easterbrook:
On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. MSVVEIS 2005: 115-117 - Juan Carlos Augusto:
Verification of Smart Homes Specifications which are based on ECA Rules. MSVVEIS 2005: 118-120 - Josko Dvornik, Ante Munitic, Frane Mitrovic:
The Port-Transshipment System Dynamics Software Simulator. MSVVEIS 2005: 121-125 - Syed M. Rahman, Akram Salah:
Teaching Software Testing in Introductory CS Courses and Improving Software Quality. MSVVEIS 2005: 126-128
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: