1802 search results - page 72 / 361 » Using Declarative Specifications in Business Process Design |
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
FBT
1998
15 years 19 days ago
1998
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
ACSC
2000
IEEE
15 years 2 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
SPIN
1999
Springer
15 years 3 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
ICEIS
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...