352 search results - page 26 / 71 » Model-Based Development: Combining Engineering Approaches an... |
102
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
117
click to vote
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
100
click to vote
VLSID
2007
IEEE
16 years 3 days ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
115
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
APSEC
1999
IEEE
15 years 4 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...