|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
13 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Static Semantics for Alloy and its Impact in Refactorings |
Gheyi, Rohit |
2007 |
184 | C |
p. 209-233 25 p. |
article |
|
| 2 | Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars |
Pasini, Fábio |
2007 |
184 | C |
p. 113-131 19 p. |
article |
|
| 3 | Developing Java Card Applications with B |
Gomes, Bruno Emerson Gurgel |
2007 |
184 | C |
p. 81-96 16 p. |
article |
|
| 4 | Distributing the Workload in a Lazy Theorem-Prover |
Deharbe, David |
2007 |
184 | C |
p. 21-37 17 p. |
article |
|
| 5 | From Predicates to Programs: The Semantics of a Method Language |
Faitelson, David |
2007 |
184 | C |
p. 171-187 17 p. |
article |
|
| 6 | Implementing Local Intervals in CASL |
Santiago, Regivan H.N. |
2007 |
184 | C |
p. 133-149 17 p. |
article |
|
| 7 | Integrating UML and Formal Methods |
Borges, Rafael Magalhães |
2007 |
184 | C |
p. 97-112 16 p. |
article |
|
| 8 | Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems |
Bazilio, Carlos |
2007 |
184 | C |
p. 189-207 19 p. |
article |
|
| 9 | Mechanised Refinement of Procedures |
Xavier, Manuela |
2007 |
184 | C |
p. 63-80 18 p. |
article |
|
| 10 | Preface |
Sampaio, Augusto |
2007 |
184 | C |
p. 1-2 2 p. |
article |
|
| 11 | Stochastic Object-Based Graph Grammars |
Mendizabal, Odorico M. |
2007 |
184 | C |
p. 151-170 20 p. |
article |
|
| 12 | Towards Property Oriented Testing |
Machado, Patricia D.L. |
2007 |
184 | C |
p. 3-19 17 p. |
article |
|
| 13 | Using CafeOBJ to Mechanise Refactoring Proofs and Application |
Carvalho Júnior, Antonio |
2007 |
184 | C |
p. 39-61 23 p. |
article |
13 results found