Sciweavers

1390 search results - page 208 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
EDBTW
2010
Springer
15 years 5 months ago
Declarative scheduling in highly scalable systems
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...
Christian Tilgner
FASE
2008
Springer
15 years 1 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
SIGMOD
2002
ACM
113views Database» more  SIGMOD 2002»
14 years 11 months ago
The n-Tier Hub Technology
During 2001, the Enterprise Engineering Laboratory at George Mason University was contracted by the Boeing Company to develop an eHub capability for aerospace suppliers in Taiwan....
Rainer A. Sommer, Thomas R. Gulledge, David Bailey
WWW
2008
ACM
16 years 16 days ago
Value-driven design for "infosuasive" web applications
An infosuasive web application is mainly intended to be at the same time informative and persuasive, i.e., it aims at supporting knowledge needs and it has also the (declared or n...
Davide Bolchini, Franca Garzotto, Paolo Paolini
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 6 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...