Sciweavers

6474 search results - page 1041 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
TASE
2007
IEEE
16 years 1 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
IWPC
2006
IEEE
16 years 1 months ago
Classifying Change Types for Qualifying Change Couplings
Current change history analysis approaches rely on information provided by versioning systems such as CVS. Therefore, changes are not related to particular source code entities su...
Beat Fluri, Harald Gall
ECLIPSE
2006
ACM
16 years 1 months ago
A focused learning environment for Eclipse
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
Izzet Safer, Gail C. Murphy, Julie Waterhouse, Jin...
ER
2005
Springer
155views Database» more  ER 2005»
16 years 24 days ago
Applying Transformations to Model Driven Development of Web Applications
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
Santiago Meliá, Jaime Gómez
FATES
2005
Springer
16 years 24 days ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
« Prev « First page 1041 / 1295 Last » Next »