Sciweavers

3514 search results - page 164 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
ER
2007
Springer
141views Database» more  ER 2007»
15 years 8 months ago
Ontology-Driven Business Modelling: Improving the Conceptual Representation of the REA Ontology
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
Frederik Gailly, Geert Poels
BPM
2008
Springer
130views Business» more  BPM 2008»
15 years 4 months ago
BPM and Social Software
Due to many success stories, social software received much attention in public and academia. Although it is widely used for business support, its relationship with business proces...
Rainer Schmidt, Selmin Nurcan
WSC
2008
15 years 4 months ago
Federated simulations for systems of systems integration
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
Robert H. Kewley, James Cook, Niki Goerger, Dale H...
ICSE
1999
IEEE-ACM
15 years 6 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
AOSE
2005
Springer
15 years 7 months ago
Zooming Multi-Agent Systems
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
Ambra Molesini, Andrea Omicini, Alessandro Ricci, ...