Sciweavers

1557 search results - page 195 / 312
» Agent- Oriented Software Development: A Case Study
Sort
View
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 2 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
IEAAIE
2005
Springer
15 years 9 months ago
A Specification Language for Organisational Performance Indicators
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
Viara Popova, Jan Treur
HCI
2007
15 years 5 months ago
HCI and SE - The Cultures of the Professions
The author reviewed and participated in several exemplar industry projects from the Indian IT industry to study the integration of human-computer interaction (HCI) design into soft...
Anirudha Joshi
HICSS
2007
IEEE
89views Biometrics» more  HICSS 2007»
15 years 10 months ago
The Emergence of Standards: A Meta-Analysis
This paper provides a list of factors that influence the outcome of standard battles. We have developed this list by performing a meta-analysis of 103 papers. An extensive literat...
Geerten van de Kaa, Henk Jan de Vries, Eric van He...
135
Voted
MSR
2005
ACM
15 years 9 months ago
Mining evolution data of a product family
Diversification of software assets through changing requirements impose a constant challenge on the developers and maintainers of large software systems. Recent research has addr...
Michael Fischer, Johann Oberleitner, Jacek Ratzing...