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.
ACM queue : tomorrow's computing today
| ACM queue : tomorrow's computing today |
| Pubbl/distr/stampa | New York, N.Y., : ACM, 2003- |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Software engineering
Computer software - Development Génie logiciel Logiciels - Développement Informatica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1542-7749 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Queue |
| Record Nr. | UNINA-9910144096103321 |
| New York, N.Y., : ACM, 2003- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ACM queue : tomorrow's computing today
| ACM queue : tomorrow's computing today |
| Pubbl/distr/stampa | New York, N.Y., : ACM, 2003- |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Software engineering
Computer software - Development Génie logiciel Logiciels - Développement Informatica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1542-7749 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Queue |
| Record Nr. | UNISA-996216470803316 |
| New York, N.Y., : ACM, 2003- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky
| Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky |
| Autore | Drusinsky, Doron |
| Pubbl/distr/stampa | Burlington, MA : Newnes, c2006 |
| Descrizione fisica | xii, 306 p. : ill. ; 24 cm. + 1 CD-ROM (4 3/4 in.) |
| Disciplina | 005.1/17 |
| Soggetto topico |
UML (Computer science)
Formal methods (Computer science) Computer software - Development UML (Informatique) Méthodes formelles (Informatique) Logiciels - Développement |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9780750679497
0750679492 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OUTLINE -- 1. Motivation -- 1.1 The Need for Computer Based Verification -- 1.2 The Desired Process Triangle -- 1.3 The Need for Integration: UML Statecharts and Formal Specifications -- 2. Assertion Languages, Applications, and Tools -- 2.1 Primary Assertion/Specification Languages: Temporal Logic and Statecharts -- 2.2 Applications: formal methods, run-time monitoring -- 2.2.1 Classical Formal Methods. -- 2.2.2 Runtime Monitoring and Verification. -- 2.2.3 Automatic Test Generation and Execution-based Model Checking. -- 2.2.4 Run-time Control Flow using Assertions (Exception Handling) -- 2.3 Writing Temporal Logic Assertions: the Process -- 2.4 Tools -- 3. Integration: UML-Statecharts Integrated with Temporal Logic Assertions -- 3.1 Statechart Specifications -- 3.2 TLCharts -- 3.3. Tools -- 4. Advanced Topics -- 4.1 Petri Nets for Distributed Systems. -- 4.2 Other Specification Languages: CTL, CTL+, Z. -- 4.3 Automata over Infinite Sequences. -- 4.4. Automata and Semigroups. -- 4.5 LTL vs. First Order Logic and SQL, LTL vs. Regular Expressions. -- 4.6 LTL and Statechart Semantics. -- 4.6 Knowledge Monitoring. |
| Record Nr. | UNISALENTO-991003244919707536 |
Drusinsky, Doron
|
||
| Burlington, MA : Newnes, c2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Requirements engineering
| Requirements engineering |
| Pubbl/distr/stampa | London, : Springer-Verlag |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Soggetto topico |
Requirements engineering
Software engineering Computer software - Development Logiciels - Développement Génie logiciel |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Computer Science |
| ISSN | 1432-010X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996211820403316 |
| London, : Springer-Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Requirements engineering
| Requirements engineering |
| Pubbl/distr/stampa | London, : Springer-Verlag |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Soggetto topico |
Requirements engineering
Software engineering Computer software - Development Logiciels - Développement Génie logiciel |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato | Computer Science |
| ISSN | 1432-010X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138887403321 |
| London, : Springer-Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
