Sciweavers

4007 search results - page 462 / 802
» Automotive Software Integration
Sort
View
EOR
2002
66views more  EOR 2002»
15 years 6 months ago
Socio-cognitive engineering: A methodology for the design of human-centred technology
We describe a general methodology, socio-cognitive engineering, for the design of human-centred technology. It integrates software, task, knowledge and organizational engineering ...
Mike Sharples, N. Jeffery, Benedict du Boulay, Der...
JECR
2000
85views more  JECR 2000»
15 years 6 months ago
Real-Time Multi-Auctions and the Agent-Support
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
Hong Liu, Shouhong Wang, Fei Teng
TSE
2002
88views more  TSE 2002»
15 years 6 months ago
An Operational Process for Goal-Driven Definition of Measures
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...
Lionel C. Briand, Sandro Morasca, Victor R. Basili
162
Voted
PERCOM
2010
ACM
15 years 5 months ago
Embedding Semantic Product Memories in the web of things
—Today, RFID is used to identify a wide range of work pieces or individual products for tracking their movements through the logistics chain. For future purposes the idea of stor...
Christian Seitz, Christoph Legat, Jörg Neidig
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 4 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