Sciweavers

1601 search results - page 53 / 321
» The affordable application of formal methods to software eng...
Sort
View
ISMIS
1999
Springer
14 years 1 months ago
Machine Learning Method for Software Quality Model Building
Software quality prediction can be cast as a concept learning problem. In this paper, we discuss the full cycle of an application of Machine Learning to software quality predictio...
Mauricio Amaral de Almeida, Stan Matwin
HCI
2007
13 years 10 months ago
Agile Methods and Visual Specification in Software Development: A Chance to Ensure Universal Access
Within the eEurope2010 initiative “An Information Society for All”, development methods which enable the inclusion of the end-user become essential in order to ensure the parad...
Thomas Memmel, Harald Reiterer, Andreas Holzinger
COMPSAC
2002
IEEE
14 years 2 months ago
Application of Hazard Analysis to Software Quality Modelling
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwo...
ISPW
2009
IEEE
14 years 3 months ago
A Pattern for Modeling Rework in Software Development Processes
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
Aaron G. Cass, Leon J. Osterweil, Alexander E. Wis...
IJAOSE
2008
97views more  IJAOSE 2008»
13 years 9 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...