197 search results - page 1 / 40 » Calculating with Concepts: a Technique for the Development o... |
UML
2001
Springer
13 years 8 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
WECWIS
2005
IEEE
13 years 10 months ago
2005
IEEE
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
CAISE
2004
Springer
13 years 9 months ago
2004
Springer
The co-evolution of business processes and supporting software systems is needed for keeping them aligned and it requires managerial and technological effort for adequately plannin...
PROFES
2001
Springer
13 years 8 months ago
2001
Springer
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate ...
BPM
2000
Springer
13 years 8 months ago
2000
Springer
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...