977 search results - page 115 / 196 » Formal methods integration in software engineering |
139
click to vote
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
131
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Software agents help automate a variety of tasks including those involved in buying and selling products over the internet. The need for handling complex highly configurable produ...
126
click to vote
HT
1997
ACM
15 years 8 months ago
1997
ACM
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
164
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
120
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...