3547 search results - page 230 / 710 » Pseudo-Exhaustive Testing for Software |
234
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
197
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
223
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
190
click to vote
ISSRE
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
219
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...