2261 search results - page 295 / 453 » Modeling the Experimental Software Engineering Process |
153
Voted
ENTCS
2010
15 years 29 days ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
124
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
117
Voted
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
124
Voted
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
126
Voted
RE
2007
Springer
15 years 9 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...