Sciweavers

1015 search results - page 132 / 203
» Usability Engineering integrated with Requirements Engineeri...
Sort
View
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 10 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
APAQS
2001
IEEE
15 years 10 months ago
A Specific Software Development Process for an Electronic Commerce Portal
The development of electronic commerce or electronic business systems (EC/EB systems) is subject to different conditions than the development of conventional software systems. Thu...
Volker Gruhn, Lothar Schöpe, Matthias Book
ATAL
1995
Springer
15 years 10 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox
AAAI
2006
15 years 8 months ago
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
Yolifé Arvelo, Blai Bonet, Maria-Esther Vid...
AVI
2006
15 years 8 months ago
Table-centric interactive spaces for real-time collaboration
Tables have historically played a key role in many real-time collaborative environments, often referred to as "war rooms". Today, these environments have been transforme...
Daniel Wigdor, Chia Shen, Clifton Forlines, Ravin ...