2261 search results - page 134 / 453 » Modeling the Experimental Software Engineering Process |
152
click to vote
ICSR
2004
Springer
15 years 10 months ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
114
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
Evolutionary prototyping focuses on gathering a correct and consistent set of requirements. The process lends particular strength to building quality software by means of the ongo...
129
click to vote
WCE
2007
15 years 6 months ago
2007
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...
160
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
136
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...