| Articolul precedent |
| Articolul urmator |
 |
 500 0 |
 SM ISO690:2012DIACONESCU, Răzvan. Structuring of Specification Modules (Invited paper). In: Workshop on Foundations of Informatics, 24-29 august 2015, Chisinau. Chișinău, Republica Moldova: "VALINEX" SRL, 2015, I, pp. 4-13. ISBN 978-9975-4237-3-1. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Workshop on Foundations of Informatics I, 2015 |
||||||
|
Conferința "Workshop on Foundations of Informatics" Chisinau, Moldova, 24-29 august 2015 | ||||||
|
||||||
| Pag. 4-13 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
In this paper we first give a brief overview of the current status of modularisation for formal specifications and then we discuss a series of recent developments including parameter instantiation with sharing and module systems for behavioural specifications. |
||||||
|
|
|
|
