Sciweavers

1557 search results - page 195 / 312
» Agent- Oriented Software Development: A Case Study
Sort
View
104
Voted
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 8 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
79
Voted
IEAAIE
2005
Springer
15 years 3 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
14 years 11 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 4 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...
83
Voted
MSR
2005
ACM
15 years 3 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...