8828 search results - page 122 / 1766 » Formal methods in practice |
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
IFM
2009
Springer
15 years 9 months ago
2009
Springer
154
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
130
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...