Sciweavers

1141 search results - page 184 / 229
» From Rigorous Requirements Engineering to Formal System Desi...
Sort
View
ATAL
2007
Springer
15 years 10 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
16 years 6 months ago
Query biased snippet generation in XML search
Snippets are used by almost every text search engine to complement ranking scheme in order to effectively handle user searches, which are inherently ambiguous and whose relevance ...
Yu Huang, Ziyang Liu, Yi Chen
ICSE
2003
IEEE-ACM
15 years 11 months ago
An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
Dolores M. Zage, Wayne M. Zage
CORR
2010
Springer
83views Education» more  CORR 2010»
15 years 3 months ago
MT4j - A Cross-platform Multi-touch Development Framework
This article describes requirements and challenges of crossplatform multi-touch software engineering, and presents the open source framework Multi-Touch for Java (MT4j) as a solut...
Uwe Laufs, Christopher Ruff, Jan Zibuschka
ATAL
2003
Springer
15 years 11 months ago
Customizing AOSE methodologies by reusing AOSE features
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
Thomas Juan, Leon Sterling, Maurizio Martelli, Viv...