554 search results - page 61 / 111 » Mapping Business Processes to Software Design Artifacts |
ASE
2008
13 years 8 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
PERCOM
2003
ACM
14 years 1 months ago
2003
ACM
The paper describes research that has been carried out in “extrovert-Gadgets”, a research project funded in the context of EU IST/FET proactive initiative “Disappearing Comp...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
DBSEC
2004
13 years 9 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...