Sciweavers

SEW
2006
IEEE
14 years 4 months ago
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behr...
SEW
2006
IEEE
14 years 4 months ago
Goal-Driven Software Development
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
Ingo Schnabel, Markus Pizka
SEW
2006
IEEE
14 years 4 months ago
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
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...
Pavel Parizek, Frantisek Plasil, Jan Kofron
SEW
2006
IEEE
14 years 4 months ago
Qualitative Modeling for Requirements Engineering
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...
Tim Menzies, Julian Richardson
SEW
2006
IEEE
14 years 4 months ago
Pseudo-Exhaustive Testing for Software
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
D. Richard Kuhn, Vadim Okun
SEW
2006
IEEE
14 years 4 months ago
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
Francesca Arcelli Fontana, Claudia Raibulet, Ivano...
SEW
2006
IEEE
14 years 4 months ago
Cross-Platform Development: Software that Lasts
Judith Bishop, R. Nigel Horspool