Sciweavers

22698 search results - page 487 / 4540
» Modeling in Software Engineering
Sort
View
SEW
2006
IEEE
16 years 15 days 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
COMPSAC
2003
IEEE
15 years 11 months ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
VAMOS
2010
Springer
15 years 8 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund
SOCO
2008
Springer
15 years 6 months ago
Software development with imperfect information
Delivering software systems that fulfill all requirements of the stakeholders is very difficult, if not at all impossible. We consider the problem of coping with imperfect informat...
Joost Noppen, Pim van den Broek, Mehmet Aksit
ASWEC
2000
IEEE
15 years 11 months ago
Software Evolution in Componentware-A Practical Approach
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
Andreas Rausch