Sciweavers

1463 search results - page 171 / 293
» Software engineering practices in Singapore
Sort
View
IUI
2000
ACM
15 years 11 months ago
Creating an empirical basis for adaptation decisions
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
Anthony Jameson, Barbara Großmann-Hutter, Le...
SIGSOFT
2000
ACM
15 years 11 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson
SEE
1997
Springer
15 years 10 months ago
An environment for object-oriented real-time systems design
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
Rob L. W. van de Weg, Rolf Engmann, Raoul van de H...
APSEC
2007
IEEE
15 years 10 months ago
A Method for Early Requirements Triage and Selection Utilizing Product Strategies
In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requireme...
Mahvish Khurum, Khurum Aslam, Tony Gorschek
EDBTW
2006
Springer
15 years 10 months ago
Summa Contra Ontologiam
This paper is a critical analysis of the concept of ontology thus as it is used in computing science. It identifies three main problems with such a concept, two of which are intri...
Simone Santini