Sciweavers

QSIC
2005
IEEE
13 years 10 months ago
Towards Goal-Oriented Design of Agent Systems
The initial step of any software engineering methodology is to form requirements. Recently, a goal-oriented approach to requirements has been proposed and argued to be beneficial...
Jason Khallouf, Michael Winikoff
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
Peer Reviews in Real Life - Motivators and Demotivators
Lasse Harjumaa, Ilkka Tervonen, Anna Huttunen
QSIC
2005
IEEE
13 years 10 months ago
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
Haruhiko Kaiya, Motoshi Saeki
QSIC
2005
IEEE
13 years 10 months ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
Michael Winikoff
QSIC
2005
IEEE
13 years 10 months ago
Stochastic Voting Algorithms for Web Services Group Testing
This paper proposes a stochastic voting for testing a large number of Web Services (WS) under group testing. In the future, a large number of WS will be available and they need to...
Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong...
QSIC
2005
IEEE
13 years 10 months ago
Software Testing Education and Training in Hong Kong
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...
F. T. Chan, W. H. Tang, T. Y. Chen
QSIC
2005
IEEE
13 years 10 months ago
Fault-Based Testing of Database Application Programs with Conceptual Data Model
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
W. K. Chan, S. C. Cheung, T. H. Tse
QSIC
2005
IEEE
13 years 10 months ago
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
W. K. Chan, S. C. Cheung, Karl R. P. H. Leung
QSIC
2005
IEEE
13 years 10 months ago
Systematic Incremental Development of Agent Systems, using Prometheus
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
Mikhail Perepletchikov, Lin Padgham