6047 search results - page 185 / 1210 » Modeling with Extend |
117
click to vote
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
109
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
114
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Personnel risk is an issue which has not been researched well but plays an important role to determine whether a software project succeeds or fails. Most existing work focuses on ...
131
click to vote
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
Early Aspects is a concept that applies an aspect-oriented (AO) paradigm to the requirements engineering. Aspect-Oriented Requirements Engineering (AORE) can be considered as an im...
114
click to vote
IJFCS
2007
15 years 2 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...