1311 search results - page 94 / 263 » Managing Model Quality in UML-Based Software Development |
AICCSA
2001
IEEE
14 years 21 days ago
2001
IEEE
Software process modeling has undergone extensive changes in the last three decades, impacting process' structure, degree of control, degree of visualization, degree of autom...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
CSMR
1999
IEEE
14 years 1 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
FMICS
2010
Springer
13 years 9 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
WOA
2001
13 years 10 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...