Sciweavers

636 search results - page 42 / 128
» The AXML Artifact Model
Sort
View
IEEESCC
2005
IEEE
14 years 1 months ago
Transforming Business Process Models: Enabling Programming at a Higher Level
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
Wei Zhao, Barrett R. Bryant, Fei Cao, Kamal Bhatta...
EKAW
2004
Springer
14 years 1 months ago
Ontology-Based Functional-Knowledge Modeling Methodology and Its Deployment
Functionality is one of the key concepts in understanding an artifact and in engineering domain knowledge. Although the importance of sharing of engineering knowledge in industry h...
Yoshinobu Kitamura, Riichiro Mizoguchi
EWSA
2004
Springer
14 years 1 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
14 years 20 days ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
ICSE
2009
IEEE-ACM
13 years 5 months ago
Security Test Generation Using Threat Trees
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamar...