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.
FOAL'12 : proceedings of the Eleventh Workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, Germany
| FOAL'12 : proceedings of the Eleventh Workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, Germany |
| Autore | Katz Shmuel |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (50 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1099-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Foundations of Aspect-Oriented Languages'12 : proceedings of the Eleventh Workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, Germany
Proceedings of the eleventh Workshop on Foundations of Aspect-Oriented Languages |
| Record Nr. | UNINA-9910376137503321 |
Katz Shmuel
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
MODULARITY 2015 : proceedings of the 14th International Conference on Modularity : March 16-19, 2015. Fort Collins, CO, USA
| MODULARITY 2015 : proceedings of the 14th International Conference on Modularity : March 16-19, 2015. Fort Collins, CO, USA |
| Autore | France Robert B |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2015 |
| Descrizione fisica | 1 online resource (145 pages) |
| Collana | ACM International Conference Proceeding Series |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| ISBN | 1-4503-3249-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 14th International Conference on Modularity
Modularity '15 14th International Conference on Modularity, Fort Collins, CO, USA - March 16-19, 2015 |
| Record Nr. | UNINA-9910376589403321 |
|
France Robert B
|
||
| [Place of publication not identified], : ACM, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems
| Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems |
| Autore | Leavens Gary T |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2005 |
| Descrizione fisica | 1 online resource (95 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SAVCBS '05 |
| Record Nr. | UNINA-9910376485603321 |
|
Leavens Gary T
|
||
| [Place of publication not identified], : ACM, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Aspect-Oriented Software Development IX [[electronic resource] /] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter
| Transactions on Aspect-Oriented Software Development IX [[electronic resource] /] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 307 p. 97 illus.) |
| Disciplina | 005.11 |
| Collana | Transactions on Aspect-Oriented Software Development |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Computer programming Computer simulation Management information systems Computer science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-642-35551-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-Driven Discovery of Stable Abstractions for Pointcut Interfaces -- Aspect of Assembly: From Theory to Performance -- Dynamic Aspect-Oriented Programming in Java: The HotWave Experience -- Abstracting Context in Event-Based Software -- The Aspect-Aware Design and Implementation of the CiAO Operating-System Family -- First-Class Compositions: Defining and Composing Object and Aspect Compositions with First-Class Operators -- Challenges in the Design of the Package Template Mechanism. |
| Record Nr. | UNISA-996465939303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Aspect-Oriented Software Development X [[electronic resource] /] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter
| Transactions on Aspect-Oriented Software Development X [[electronic resource] /] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 185 p. 76 illus.) |
| Disciplina | 005.1 |
| Collana | Transactions on Aspect-Oriented Software Development |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-642-36964-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming -- Two-Way Traceability and Conflict Debugging for AspectLTL Programs -- Intraprocedural Dataflow Analysis for Software Product Lines -- Modularity and Variability of Distributed Software Architectures through Multi-view Refinement of AO-Connectors -- Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study. |
| Record Nr. | UNISA-996465600903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Aspect-Oriented Software Development X / / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter
| Transactions on Aspect-Oriented Software Development X / / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 185 p. 76 illus.) |
| Disciplina | 005.1 |
| Collana | Transactions on Aspect-Oriented Software Development |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-642-36964-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming -- Two-Way Traceability and Conflict Debugging for AspectLTL Programs -- Intraprocedural Dataflow Analysis for Software Product Lines -- Modularity and Variability of Distributed Software Architectures through Multi-view Refinement of AO-Connectors -- Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study. |
| Record Nr. | UNINA-9910484603603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verified software : theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
| Verified software : theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2010 |
| Descrizione fisica | 1 online resource (X, 217 p. 68 illus.) |
| Disciplina | 005.14 |
| Altri autori (Persone) |
LeavensGary T
O'HearnPeter RajamaniSriram K |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Computer programs - Verification
Compilers (Computer programs) |
| ISBN | 3-642-15057-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Towards Scalable Modular Checking of User-Defined Properties -- Verification Techniques -- Tressa: Claiming the Future -- Automated Verification of a Small Hypervisor -- Verification of Low-Level Code -- A Rely-Guarantee Proof System for x86-TSO -- Pervasive Verification of an OS Microkernel -- Invited Talk -- The L4.verified Project — Next Steps -- Requirements and Specifications -- An Approach of Requirements Tracing in Formal Refinement -- Dafny Meets the Verification Benchmarks Challenge -- Specifying Reusable Components -- Verification Techniques -- Reusable Verification of a Copying Collector -- To Goto Where No Statement Has Gone Before -- Invited Talk -- The Next 700 Separation Logics -- Locality in Reasoning -- Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients -- Abstraction and Refinement for Local Reasoning. |
| Altri titoli varianti | VSTTE 2010 |
| Record Nr. | UNINA-9910484353203321 |
| Berlin, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verified Software: Theories, Tools, Experiments [[electronic resource] ] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / / edited by Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
| Verified Software: Theories, Tools, Experiments [[electronic resource] ] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / / edited by Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 217 p. 68 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-15057-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Towards Scalable Modular Checking of User-Defined Properties -- Verification Techniques -- Tressa: Claiming the Future -- Automated Verification of a Small Hypervisor -- Verification of Low-Level Code -- A Rely-Guarantee Proof System for x86-TSO -- Pervasive Verification of an OS Microkernel -- Invited Talk -- The L4.verified Project — Next Steps -- Requirements and Specifications -- An Approach of Requirements Tracing in Formal Refinement -- Dafny Meets the Verification Benchmarks Challenge -- Specifying Reusable Components -- Verification Techniques -- Reusable Verification of a Copying Collector -- To Goto Where No Statement Has Gone Before -- Invited Talk -- The Next 700 Separation Logics -- Locality in Reasoning -- Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients -- Abstraction and Refinement for Local Reasoning. |
| Record Nr. | UNISA-996466287003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||