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.
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker
| Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 464 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Computer science Mathematical logic Computer science—Mathematics Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Computer Science, general Software Engineering Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation |
| ISBN | 3-540-40020-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Technical Papers -- AGILE: Software Architecture for Mobility -- A Coinductive Calculus of Component Connectors -- An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint -- MultiMedia Instruction in Safe and Secure Systems -- Invited Non-technical Papers -- Zero, Connected, Empty -- Zero, Connected, Empty: An Essay after a Cantata -- Contributed Papers -- Type Checking Parametrised Programs and Specifications in ASL?+?FPC -- Pre-nets, Read Arcs and Unfolding: A Functorial Presentation -- Coreflective Concurrent Semantics for Single-Pushout Graph Grammars -- Completeness Results for Fibred Parchments -- Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs -- Conditional Circular Coinductive Rewriting with Case Analysis -- Verifying Generative Casl Architectural Specifications -- Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens -- The Coinductive Approach to Verifying Cryptographic Protocols -- Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages -- Approach-Independent Structuring Concepts for Rule-Based Systems -- Notions of Behaviour and Reachable-Part and Their Institutions -- Combining Specification Formalisms in the ‘General Logic’ of Multialgebras -- On How Distribution and Mobility Interfere with Coordination -- Foundations of Heterogeneous Specification -- Algebraic-Coalgebraic Specification in CoCasl -- Translating Logics for Coalgebras -- Presenting and Combining Inference Systems -- Monad-Independent Dynamic Logic in HasCasl -- Preserving Properties in System Redesign: Rule-Based Approach. |
| Record Nr. | UNISA-996465803703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker
| Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 464 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Computer science Logic, Symbolic and mathematical Computer science—Mathematics Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Computer Science, general Software Engineering Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation |
| ISBN | 3-540-40020-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Technical Papers -- AGILE: Software Architecture for Mobility -- A Coinductive Calculus of Component Connectors -- An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint -- MultiMedia Instruction in Safe and Secure Systems -- Invited Non-technical Papers -- Zero, Connected, Empty -- Zero, Connected, Empty: An Essay after a Cantata -- Contributed Papers -- Type Checking Parametrised Programs and Specifications in ASL?+?FPC -- Pre-nets, Read Arcs and Unfolding: A Functorial Presentation -- Coreflective Concurrent Semantics for Single-Pushout Graph Grammars -- Completeness Results for Fibred Parchments -- Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs -- Conditional Circular Coinductive Rewriting with Case Analysis -- Verifying Generative Casl Architectural Specifications -- Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens -- The Coinductive Approach to Verifying Cryptographic Protocols -- Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages -- Approach-Independent Structuring Concepts for Rule-Based Systems -- Notions of Behaviour and Reachable-Part and Their Institutions -- Combining Specification Formalisms in the ‘General Logic’ of Multialgebras -- On How Distribution and Mobility Interfere with Coordination -- Foundations of Heterogeneous Specification -- Algebraic-Coalgebraic Specification in CoCasl -- Translating Logics for Coalgebras -- Presenting and Combining Inference Systems -- Monad-Independent Dynamic Logic in HasCasl -- Preserving Properties in System Redesign: Rule-Based Approach. |
| Record Nr. | UNINA-9910144211703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software, Services, and Systems [[electronic resource] ] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / / edited by Rocco De Nicola, Rolf Hennicker
| Software, Services, and Systems [[electronic resource] ] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / / edited by Rocco De Nicola, Rolf Hennicker |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 694 p. 155 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer programming Mathematical logic Artificial intelligence Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-319-15545-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering.- Service-Oriented Systems.- Adaptive and Autonomic Systems. |
| Record Nr. | UNISA-996200350103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / / edited by Rocco De Nicola, Rolf Hennicker
| Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / / edited by Rocco De Nicola, Rolf Hennicker |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 694 p. 155 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Computer programming Machine theory Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-319-15545-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Homage from Friends -- Logical and Algebraic Foundations -- Algebraic Specifications, Institutions and Rewriting -- Foundations of Software Engineering.- Service-Oriented Systems.- Adaptive and Autonomic Systems. |
| Record Nr. | UNINA-9910484697503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||