5407 search results - page 9 / 1082 » The Software Engineering Global Model |
120
Voted
REFSQ
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
127
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
114
Voted
SE
2008
15 years 4 months ago
2008
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
106
Voted
ICSE
1989
IEEE-ACM
15 years 6 months ago
1989
IEEE-ACM
135
Voted
ISPW
2005
IEEE
15 years 8 months ago
2005
IEEE