3514 search results - page 375 / 703 » Evolving Specification Engineering |
138
click to vote
RE
2005
Springer
16 years 7 days ago
2005
Springer
Our group has taken a clinical approach to doing requirements engineering for a specific domain: delivering email tools to the cognitively impaired population. The clinical view s...
176
Voted
WOSP
2004
ACM
16 years 5 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
167
click to vote
LAWEB
2003
IEEE
16 years 22 hour ago
2003
IEEE
Research on buying behavior indicates that buying guides perform an important role in the overall buying process. However, while many buying guides can be found on the Web, findin...
200
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
168
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...