Sciweavers

25 search results - page 2 / 5
» fase 2008
Sort
View
FASE
2008
Springer
13 years 7 months ago
When Things Go Wrong: Interrupting Conversations
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
Juliana Küster Filipe Bowles, Sotiris Moschoy...
FASE
2008
Springer
13 years 7 months ago
Object Composition in Scenario-Based Programming
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...
Yoram Atir, David Harel, Asaf Kleinbort, Shahar Ma...
FASE
2008
Springer
13 years 7 months ago
Software Quality Improvement Via Pattern Matching
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...
Radu Kopetz, Pierre-Etienne Moreau
FASE
2010
Springer
14 years 8 days ago
Prescriptive Semantics for Big-Step Modelling Languages
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
Shahram Esmaeilsabzali, Nancy A. Day
FASE
2008
Springer
13 years 7 months ago
Formal Approach to Integrating Feature and Architecture Models
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
Mikolás Janota, Goetz Botterweck