Sciweavers

4418 search results - page 23 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
118
Voted
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
15 years 9 months ago
Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
José Gonçalo A. Oliveira Basto da Si...
120
Voted
ISMIS
1997
Springer
15 years 7 months ago
Intelligent Computation of Presentation Documents
Intelligent presentation of data requires exibility of expression based on user needs and data content, both of which evolve. This exibility is not o ered by the current generatio...
Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszc...
122
Voted
EICS
2009
ACM
15 years 7 months ago
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
Philippe A. Palanque, Marco Winckler, Jean-Fran&cc...
224
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
StakeSource2.0: using social networks of stakeholders to identify and prioritise requirements
Software projects typically rely on system analysts to conduct requirements elicitation, an approach potentially costly for large projects with many stakeholders and requirements....
Soo Ling Lim, Daniela Damian, Anthony Finkelstein
141
Voted
IWPC
2000
IEEE
15 years 8 months ago
Tracing Object-Oriented Code into Functional Requirements
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...