Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
711 3 |
Ultima descărcare din IBN: 2023-07-15 01:07 |
Căutarea după subiecte similare conform CZU |
004.94:519.7 (3) |
Прикладные информационные (компьютерные) технологии. Методы основанные на применении компьютеров (440) |
Математическая кибернетика (94) |
SM ISO690:2012 DIACONESCU, Răzvan. Structuring of Specification Modules (extended). In: Computer Science Journal of Moldova, 2015, nr. 2(68), pp. 135-152. ISSN 1561-4042. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Computer Science Journal of Moldova | ||||||
Numărul 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330 | ||||||
|
||||||
CZU: 004.94:519.7 | ||||||
Pag. 135-152 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
This paper has two goals. One goal is to provide a brief introduction to the concept of modularisation in the context of formal specifications. The other goal is to survey some recent developments in this area, including parameter instantiation with sharing and module systems for behavioural specifications. |
||||||
|