| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4951896 | Science of Computer Programming | 2016 | 27 Pages |
Abstract
In the method these two levels are not only made explicit and juxtaposed, but formally interrelated. The key to achieve such a goal is a systematic process of hybridisation of logics through which the relationship between the local and global levels of a specification becomes internalised in the logic itself.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Alexandre Madeira, Renato Neves, LuÃs S. Barbosa, Manuel A. Martins,