Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997
| First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Congresses - Methodology
Computer software - Congresses - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996204369303316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings : Asia Pacific Software Engineering Conference and International Computer Science Conference : December 2-5, 1997, Hong Kong
| Proceedings : Asia Pacific Software Engineering Conference and International Computer Science Conference : December 2-5, 1997, Hong Kong |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1997 |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering - Congresses
Object-oriented programming (Computer science) - Congresses Computer software - Congresses - Development Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1A: Metrics and quality assurance -- Session 1B: Formal methods -- Session 1C: Knowledge and logic based systems -- Session 2A: Object-oriented techniques -- Session 2B: Validation and verification I -- Session 2C: Distributed and mobile systems -- Session 3A: Software design methodology I -- Session 3B: Validation and verification I(I) -- Session 3C: Software process -- Session 4A: Software design methodology II -- Session 4B: User interaction -- Session 4C: Testing -- Session 5A: Software development environment -- Session 5B: Concurrency. |
| Record Nr. | UNISA-996200242703316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
| Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1998 |
| Disciplina | 620/.0028 |
| Soggetto topico |
Engineering - Congresses - Methodology
Computer software - Congresses - Development Engineering & Applied Sciences Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211375403316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Third Symposium on Assessment of Quality Software Development Tools : proceedings, June 7-9, 1994, Washington, D.C
| Third Symposium on Assessment of Quality Software Development Tools : proceedings, June 7-9, 1994, Washington, D.C |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1994 |
| Disciplina | 005.1/028 |
| Soggetto topico |
Computer software - Congresses - Development
Computer software - Quality control - Congresses Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206154403316 |
| [Place of publication not identified], : IEEE Computer Society Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
