5228 search results - page 985 / 1046 » Case Studies for Software Engineers |
ENTCS
2008
15 years 1 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
118
click to vote
ENTCS
2006
15 years 1 months ago
2006
Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...
116
click to vote
ESE
2006
15 years 1 months ago
2006
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...
103
click to vote
JAIR
2008
15 years 1 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
102
click to vote
JOT
2006
15 years 1 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...