1360 search results - page 186 / 272 » The SMART Approach for Software Process Engineering |
154
click to vote
JOT
2007
15 years 3 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
136
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
125
click to vote
IESA
2007
15 years 4 months ago
2007
The dissemination of e-Business solutions among small and medium sized enterprises (SMEs) is still very low due to various reasons. In the course of the GENESIS project, we aim at ...
117
click to vote
ISSRE
2007
IEEE
15 years 4 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
157
click to vote
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...