Sciweavers

2599 search results - page 87 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
TOPNOC
2008
15 years 4 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
CANDC
2009
ACM
15 years 10 months ago
Creativity factor evaluation: towards a standardized survey metric for creativity support
We present a new survey metric, the Creativity Support Index (CSI) that is designed to help researchers and designers evaluate the level of creativity support provided by various ...
Erin A. Carroll, Celine Latulipe, Richard Fung, Mi...
INTERACT
2003
15 years 5 months ago
Zazu - Investigating the Difference between Interaction Approaches in Advisory Support Systems for Curriculum
: Curriculum planning for students in a university which offers full-time as well as part-time courses is not a trivial task and is complicated by the fact that students can enrol ...
Judy van Biljon, Karen Renaud
KBSE
2003
IEEE
15 years 9 months ago
An Empirical Study on Groupware Support for Software Inspection Meetings
Software inspection is an effective way to assess product quality and to reduce the number of defects. In a software inspection the inspection meeting is a key activity to agree o...
Paul Grünbacher, Michael Halling, Stefan Biff...
COMPSAC
2002
IEEE
15 years 9 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins