Sciweavers

20 search results - page 1 / 4
» qsic 2005
Sort
View
QSIC
2005
IEEE
13 years 10 months ago
Peer Reviews in Real Life - Motivators and Demotivators
Lasse Harjumaa, Ilkka Tervonen, Anna Huttunen
QSIC
2005
IEEE
13 years 10 months ago
A Preliminary Evaluation of Software Inspection Tools, with the DESMET Method
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
Henrik Hedberg, Jouni Lappalainen
QSIC
2005
IEEE
13 years 10 months ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
QSIC
2005
IEEE
13 years 10 months ago
Tool Support for Agent Development using the Prometheus Methodology
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
Lin Padgham, John Thangarajah, Michael Winikoff