5961 search results - page 691 / 1193 » Design Science and Software Engineering |
192
click to vote
KBSE
2003
IEEE
16 years 5 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
199
click to vote
SCAM
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
196
click to vote
WCRE
2003
IEEE
16 years 5 days ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
175
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
196
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...