Sciweavers

2682 search results - page 261 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
172
Voted
APSEC
2007
IEEE
15 years 10 months ago
An Executable UML with OCL-based Action Semantics Language
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
Ke Jiang, Lei Zhang, Shigeru Miyake
121
Voted
SEFM
2005
IEEE
15 years 9 months 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
135
Voted
SEFM
2009
IEEE
15 years 10 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
109
Voted
AGILEDC
2007
IEEE
15 years 10 months 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
94
Voted
HICSS
2002
IEEE
77views Biometrics» more  HICSS 2002»
15 years 8 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