1164 search results - page 6 / 233 » Using CBR for Semantic Analysis of Software Specifications |
177
click to vote
ECBS
1999
IEEE
15 years 10 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
209
Voted
CSSE
2004
IEEE
15 years 5 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
161
Voted
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
167
Voted
SIGSOFT
2002
ACM
16 years 6 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
152
Voted
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...