Sciweavers

2206 search results - page 245 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
ISSTA
2006
ACM
16 years 16 days ago
Subdomain testing of units and systems with state
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
Dick Hamlet
FASE
2008
Springer
15 years 8 months ago
A Logic of Graph Constraints
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
ICSM
2009
IEEE
15 years 4 months ago
Balancing value and modifiability when planning for the next release
Planning the next release in software release planning addresses the problem of assigning features to the next release such that technical, resource, risk, and budget constraints ...
Anas Jadallah, Matthias Galster, Mahmood Moussavi,...
ICSM
2006
IEEE
16 years 18 days ago
Model-Based Testing of Community-Driven Open-Source GUI Applications
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
Qing Xie, Atif M. Memon
GECCO
2007
Springer
180views Optimization» more  GECCO 2007»
16 years 22 days ago
Genetic optimization for yacht design
This paper introduces a procedure for using genetic multiobjective optimization in yacht design. The problem described consists on the optimization of a bulb shape to improve the ...
Paolo Geremia, Mauro Poian, Silvia Poles