Sciweavers

648 search results - page 89 / 130
» A Proposal for ASM Diagrams
Sort
View
EMISA
2002
Springer
13 years 8 months ago
The biology Petri net markup language
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...
Ming Chen, Andreas Freier, Jacob Köhler, Alex...
CORR
1999
Springer
110views Education» more  CORR 1999»
13 years 8 months ago
Managing Object-Oriented Integration and Regression Testing
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
Mario Winter
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
13 years 7 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
IAT
2010
IEEE
13 years 6 months ago
Enhancing Patient-Centered Palliative Care with Collaborative Agents
In this paper, we propose the use of an agent-based architecture to enhance workflow system capacity to support interprofessional, patient-centred palliative care delivery. This pa...
Ji Ruan, Wendy MacCaull, Heather Jewers
WER
2010
Springer
13 years 6 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri