Sciweavers

21 search results - page 1 / 5
» fase 2007
Sort
View
98
Voted
FASE
2007
Springer
15 years 9 months ago
Practical Reasoning About Invocations and Implementations of Pure Methods
Ádám Darvas, K. Rustan M. Leino
103
Voted
FASE
2007
Springer
15 years 9 months ago
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software
Chouki Tibermacine, Didier Hoareau, Reda Kadri
104
Voted
FASE
2007
Springer
15 years 9 months ago
Software Product Families: Towards Compositionality
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
Jan Bosch
102
Voted
FASE
2007
Springer
15 years 9 months ago
S2A: A Compiler for Multi-modal UML Sequence Diagrams
We report on S2A, a compiler that translates Modal UML Sequence Diagrams (MSDs), a UML-compliant version of Live Sequence Charts (LSCs), into AspectJ code. It thus provides full co...
David Harel, Asaf Kleinbort, Shahar Maoz
111
Voted
FASE
2010
Springer
15 years 10 months 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