Sciweavers

1108 search results - page 188 / 222
» Model Driven Development of Software Product Lines
Sort
View
113
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
Online testing with model programs
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
Margus Veanes, Colin Campbell, Wolfram Schulte, Ni...
111
Voted
PPPJ
2006
ACM
15 years 7 months ago
Propagation of JML non-null annotations in Java programs
Development of high quality code is extremely dicult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubcz...
EUROSPI
2005
Springer
15 years 7 months ago
Deploying Agile Practices in Organizations: A Case Study
Currently, software development organizations are increasingly interested in adopting agile processes and practices. The organizations, however, need procedures and methods for sup...
Minna Pikkarainen, Outi Salo, Jari Still
115
Voted
WSC
2000
15 years 3 months ago
Simulation optimization of stochastic systems with integer variables by sequential linearization
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...
S. J. Abspoel, L. F. P. Etman, J. Vervoort, J. E. ...
138
Voted
EUMAS
2006
15 years 3 months ago
Agent Capability: Automating the Design to Code Process
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
Loris Penserini, Anna Perini, Angelo Susi, John My...