Search Sciweavers | Sciweavers

5407 search results - page 9 / 1082

» The Software Engineering Global Model

click to vote

REFSQ
2009
Springer

98views Software Engineering» more REFSQ 2009»

Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective

14 years 1 months ago

Download www.irisa.fr

Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...

Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yv...

claim paper

Read More »

click to vote

FOSSACS
2009
Springer

160views Software Engineering» more FOSSACS 2009»

On Global Model Checking Trees Generated by Higher-Order Recursion Schemes

14 years 2 months ago

Download users.comlab.ox.ac.uk

Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to deﬁne inﬁnite trees. The Global Modal Mu-Calculus Model Checking...

Christopher Broadbent, C.-H. Luke Ong

claim paper

Read More »

click to vote

SE
2008

116views Software Engineering» more SE 2008»

Integrating Software Lifecycle Models into a uniform Software Engineering Model

13 years 8 months ago

Download wwwbruegge.in.tum.de

: 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...

Jonas Helming

claim paper

Read More »

click to vote

ICSE
1989
IEEE-ACM

94views Software Engineering» more ICSE 1989»

Software Process Modeling: Principles of Entity Process Models

13 years 11 months ago