22698 search results - page 121 / 4540 » Modeling in Software Engineering |
120
click to vote
TAICPART
2006
IEEE
15 years 9 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
128
click to vote
QOSA
2009
Springer
15 years 8 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
153
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
106
Voted
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
173
Voted
WSC
2000
15 years 4 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...