Sciweavers

27 search results - page 2 / 6
» fase 2009
Sort
View
FASE
2009
Springer
14 years 1 days ago
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks
Vasanth Rajamani, Christine Julien, Jamie Payton, ...
FASE
2009
Springer
14 years 1 days ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop
FASE
2009
Springer
14 years 1 days ago
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy
Nazareno Aguirre, Marcelo F. Frias, Mariano M. Mos...
FASE
2009
Springer
14 years 1 days ago
Scalable Analysis of Scalable Systems
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
Allan Clark, Stephen Gilmore, Mirco Tribastone
FASE
2009
Springer
14 years 1 days ago
A Formal Way from Text to Code Templates
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
Guido Wachsmuth