FASE
2008
Springer
13 years 6 months ago
2008
Springer
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
FASE
2008
Springer
13 years 6 months ago
2008
Springer
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 ...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
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...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
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 ...