Sciweavers

10238 search results - page 434 / 2048
» Package-Based Software Development
Sort
View
CPE
2000
Springer
292views Hardware» more  CPE 2000»
15 years 11 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi
SIGCSE
2002
ACM
218views Education» more  SIGCSE 2002»
15 years 6 months ago
Participatory design in a human-computer interaction course: teaching ethnography methods to computer scientists
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...
Jerry B. Weinberg, Mary L. Stephen
EMSOFT
2011
Springer
14 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
AOSE
2001
Springer
15 years 11 months ago
Modeling Early Requirements in Tropos: A Transformation Based Approach
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
161
Voted
GESELLSCHAFT
1993
15 years 11 months ago
Phasenmodell ist OUT - Benutzerbeteiligung jetzt auch bei Standardsoftware-Entwicklung
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of user pa...
Matthias Rauterberg, Raimund Mollenhauer, Philipp ...