Sciweavers

832 search results - page 123 / 167
» Declarative Specification of Software Architectures
Sort
View
EUROSPI
2005
Springer
14 years 3 months ago
Using Rational Unified Process in an SME - A Case Study
The Rational Unified Process (RUP) is a comprehensive software development process framework emphasizing use-cases, architecture focus and an iterative approach. RUP is widely know...
Geir Kjetil Hanssen, Hans Westerheim, Finn Olav Bj...
IUI
2003
ACM
14 years 3 months ago
Scripting embodied agents behaviour with CML: character markup language
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
Yasmine Arafa, E. H. Mamdani
ICSE
2000
IEEE-ACM
14 years 1 months ago
Requirements engineering in the year 00: a research perspective
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
Axel van Lamsweerde
JSW
2008
93views more  JSW 2008»
13 years 10 months ago
Is SOA Superior? Evidence from SaaS Financial Statements
We use audited financial statements to examine claims that service-oriented architecture (SOA) leads to higher profits relative to traditional software delivery models. Specificall...
Thomas W. Hall
IFIP
2010
Springer
13 years 4 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...