Sciweavers

368 search results - page 50 / 74
» The Role of Verification in Interactive Systems Design
Sort
View
ISPE
2003
13 years 9 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
DAC
2008
ACM
14 years 8 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
BCSHCI
2008
13 years 9 months ago
Workshop HCI for medicine and health care (HCI4MED)
Ensuring good usability can be seen as the key success factor in our whole digital world: technology must support people. In particular, Medicine and Healthcare are currently subj...
Andreas Holzinger, Harold W. Thimbleby, Russell Be...
ATAL
2007
Springer
14 years 1 months ago
Implementing Norms That Govern Non-dialogical Actions
The governance of open multi-agent systems is particular important since those systems are composed by heterogeneous, autonomous and independently designed agents. Such governance ...
Viviane Torres da Silva
NORDICHI
2004
ACM
14 years 29 days ago
Evidence-based development: a viable approach?
Systems development is replete with projects that represent substantial resource investments but result in systems that fail to meet users’ needs. Evidence-based development is ...
Morten Hertzum, Jesper Simonsen