Giancarlo NOTA | Pubblicazioni
Giancarlo NOTA Pubblicazioni
| 1992 | |
| Articolo in rivista | |
| On Refinement of Logic Specifications INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. Vol. 2. Pag.433-448 ISSN:0218-1940. | |
| Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa | |
| Codice identificativo ISI: WOS:A1992JW22200006 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1992 | |
| Articolo in rivista | |
| Querying of Executable Software Specification IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. Vol. 18. Pag.705-716 ISSN:0098-5589. | |
| Nota, Giancarlo; Giuliano, Pacini | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/32.153380 Codice identificativo ISI: WOS:A1992JJ86700003 Codice identificativo SCOPUS: 2-s2.0-0026902044 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1992 | |
| Contributo in Atti di convegno | |
| Querying and Analysis of Software Specifications. In: Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on Institute of Electrical and Electronics Engineers (IEEE) Pag.470-478 ISBN:0818628308 | |
| SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering Capri 15-20 Jun 1992 | |
| Abate, Andrea Francesco; D'Apolito, C.; Nota, Giancarlo; Giuliano, Pacini | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-0026957711 | |
| Visualizza sul Database dei Prodotti (IRIS) |
