Sciweavers

2698 search results - page 314 / 540
» Software Process Model Blueprints
Sort
View
SEFM
2005
IEEE
16 years 4 days ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
SEFM
2009
IEEE
16 years 1 months ago
Programming Sagas in SOCK
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
Ivan Lanese, Gianluigi Zavattaro
AGILEDC
2007
IEEE
16 years 28 days ago
Forming to Performing: The Evolution of an Agile Team
Using Bruce Tuckman’s [1] “Forming – Storming – Norming – Performing” model of team development we review the effects of change on our team through each stage. We go o...
Darren Rowley, Manfred Lange
HICSS
2002
IEEE
77views Biometrics» more  HICSS 2002»
15 years 11 months ago
Language Driven System Design
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse
CACM
1999
132views more  CACM 1999»
15 years 6 months ago
Agents That Buy and Sell
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
Pattie Maes, Robert H. Guttman, Alexandros Moukas