5407 search results - page 158 / 1082 » The Software Engineering Global Model |
112
Voted
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
114
click to vote
JOT
2006
15 years 3 months ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
137
Voted
Publication
When preparing students for an industrial or academic career in software engineering, educational institutions need to address the globally distributed character of the software en...
119
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 9 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
108
Voted
SAC
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...