Sciweavers

3837 search results - page 515 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
SEMWEB
2007
Springer
15 years 10 months ago
Towards Correspondence Patterns for Ontology Mediation
We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineeri...
François Scharffe, Ying Ding, Dieter Fensel
WECWIS
2005
IEEE
201views ECommerce» more  WECWIS 2005»
15 years 9 months ago
A Categorization of Collaborative Business Process Modeling Techniques
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...
Stephan Roser, Bernhard Bauer
OOPSLA
2005
Springer
15 years 9 months ago
CanonSketch and TaskSketch: innovative modeling tools for usage-centered design
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
Larry L. Constantine, Pedro Campos
ICFEM
2004
Springer
15 years 9 months ago
From Circus to JCSP
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
Marcel Oliveira, Ana Cavalcanti
BPM
2003
Springer
121views Business» more  BPM 2003»
15 years 9 months ago
Towards a Library for Process Programming
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
Guangxin Yang