Sciweavers

8627 search results - page 412 / 1726
» Software Engineering Using RATionale
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 months ago
Eliciting Architectural Decisions from Requirements using a Rule-based Framework
Making architectural decisions based on requirements, analyzing cost-benefit trade-offs, and keeping design options open is a difficult task. Existing work on classification of ar...
WenQian Liu, Steve M. Easterbrook
ICSE
2004
IEEE-ACM
16 years 6 months ago
Using Web Service Technologies to Create an Information Broker: An Experience Report
This paper reports on our experiences with using the emerging web service technologies and tools to create a demonstration information broker system as part of our research into i...
Mark Turner, Fujun Zhu, Ioannis A. Kotsiopoulos, M...
IUI
2010
ACM
16 years 3 months ago
Interactive machine translation using a web-based architecture
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
Daniel Ortiz-Martínez, Luis A. Leiva, Vicen...
XPU
2009
Springer
16 years 1 months ago
Using Digital Tabletops to Support Distributed Agile Planning Meetings
Digital tabletop is an emerging technology that is being increasingly used to support group activities. Agile Planner for Digital Tabletops (APDT) is a tool that was built to suppo...
Xin Wang, Yaser Ghanam, Shelly Park, Frank Maurer
FASE
2010
Springer
16 years 1 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller