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.
Algebraic Methodology and Software Technology [[electronic resource] ] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / / edited by Teodor Rus
| Algebraic Methodology and Software Technology [[electronic resource] ] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / / edited by Teodor Rus |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XI, 545 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Data structures (Computer science) Algebra Computer logic Software engineering Mathematical logic Theory of Computation Data Structures and Information Theory Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN | 3-540-45499-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Education Day -- Invited Talk: A Software Engineering Program of Lasting Value (Abstract) -- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract) -- Technical Meetings -- Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract) -- Step by Step to Histories -- Distance Functions for Defaults in Reactive Systems -- Generalizing the Modal and Temporal Logic of Linear Time -- Process Algebra versus Axiomatic Specification of a Real-Time Protocol -- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software -- Algebraic State Machines -- Meta Languages in Algebraic Compilers -- Random Access to Abstract Data Types -- A Monad for Basic Java Semantics -- A Global Semantics for Views -- Analysis of Downward Closed Properties of Logic Programs -- Invited Talk: ASM Formalware in the Software Engineering Cycle -- Process Calculi for Coordination: From Linda to JavaSpaces -- The Algebra of Multi-tasking -- A Causal Semantics for Timed Default Concurrent Constraint Programming -- Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl -- Message Authentication through Non Interference -- Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML -- An ASM Semantics for UML Activity Diagrams -- Approximate Bisimilarity -- Time and Probability in Process Algebra -- A Modal Logic for Klaim -- Kleene under a Demonic Star -- Pointwise Relational Programming -- Towards a Toolkit for Actor System Specification -- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic -- The Extensibility of Maude’s Module Algebra -- A Reuse-Oriented Framework for Hierarchical Specifications -- MIX(FL): A Kernel Language of Mixin Modules -- Behavioural Subtyping Relations for Object-Oriented Formalisms -- Applying Category Theory to Derive Engineering Software from Encoded Knowledge -- A New Logic for Electronic Commerce Protocols -- Extended Institutions for Testing -- Testing from Structured Algebraic Specifications. |
| Record Nr. | UNISA-996465837503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / / edited by Teodor Rus
| Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / / edited by Teodor Rus |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XI, 545 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Data structures (Computer science) Algebra Computer logic Software engineering Mathematical logic Theory of Computation Data Structures and Information Theory Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN | 3-540-45499-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Education Day -- Invited Talk: A Software Engineering Program of Lasting Value (Abstract) -- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract) -- Technical Meetings -- Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract) -- Step by Step to Histories -- Distance Functions for Defaults in Reactive Systems -- Generalizing the Modal and Temporal Logic of Linear Time -- Process Algebra versus Axiomatic Specification of a Real-Time Protocol -- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software -- Algebraic State Machines -- Meta Languages in Algebraic Compilers -- Random Access to Abstract Data Types -- A Monad for Basic Java Semantics -- A Global Semantics for Views -- Analysis of Downward Closed Properties of Logic Programs -- Invited Talk: ASM Formalware in the Software Engineering Cycle -- Process Calculi for Coordination: From Linda to JavaSpaces -- The Algebra of Multi-tasking -- A Causal Semantics for Timed Default Concurrent Constraint Programming -- Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl -- Message Authentication through Non Interference -- Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML -- An ASM Semantics for UML Activity Diagrams -- Approximate Bisimilarity -- Time and Probability in Process Algebra -- A Modal Logic for Klaim -- Kleene under a Demonic Star -- Pointwise Relational Programming -- Towards a Toolkit for Actor System Specification -- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic -- The Extensibility of Maude’s Module Algebra -- A Reuse-Oriented Framework for Hierarchical Specifications -- MIX(FL): A Kernel Language of Mixin Modules -- Behavioural Subtyping Relations for Object-Oriented Formalisms -- Applying Category Theory to Derive Engineering Software from Encoded Knowledge -- A New Logic for Electronic Commerce Protocols -- Extended Institutions for Testing -- Testing from Structured Algebraic Specifications. |
| Record Nr. | UNINA-9910143631003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson
| Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 602 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer logic Special purpose computers Mathematical logic Software Engineering/Programming and Operating Systems Theory of Computation Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-540-69661-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software configuration with information systems -- Head-tactics simplification -- Iteration 2-theories: Extended Abstract -- Model checking and fault tolerance -- Deadlock analysis for a fault-tolerant system -- From sequential to multi-threaded Java: An event-based operational semantics -- Permissive subsorted partial logic in CASL -- Specification of timing constraints within the circal process algebra -- On the specification and verification of performance properties for a timed process algebra -- Abstract interpretation of algebraic polynomial systems (Extended abstract) -- Modular refinement and model building -- A linear temporal logic approach to objects with transactions -- Software design, specification, and verification: Lessons learned from the Rether case study -- Refinement rules for real-time multi-tasking programs -- Rigorous object-oriented modeling: Integrating formal and informal notations -- Completeness in abstract interpretation: A domain perspective -- Floating point verification in HOL light: The exponential function -- Verification of distributed real-time and fault-tolerant protocols -- Invariants, bisimulations and the correctness of coalgebraic refinements -- On bisimulation, fault-monotonicity and provable fault-tolerance -- Span(Graph): A categorical algebra of transition systems -- Representing place/transition nets in Span(Graph) -- Invariants of parameterized binary tree networks as greatest fixpoints -- Modelling specification construction by successive approximations -- On partial validation of logic programs -- Preservation and reflection in specification -- Case studies in using a meta-method for formal method integration -- The update calculus -- Selective attribute elimination for categorical data specifications -- ATM switch design: Parametric high-level modeling and formal verification -- The hidden function question revisited -- Synchronization of logics with mixed rules: Completeness preservation -- Symbolic bisimulation for Full LOTOS -- Algebraic composition and refinement of proofs -- Ensuring streams flow -- Extending process languages with time -- Parametric analysis of computer systems -- CAMILA: Prototyping and refinement of constructive specifications -- PAMELA+PVS -- The circal system -- A refinement-type checker for standard ML -- Recording HOL proofs in a structured browsable format -- Analysing multi-agent system traces with IDaF -- DOVE: A tool for design oriented verification and evaluation -- The B method and the B toolkit -- An algebraic language processing environment -- The Cogito development system. |
| Record Nr. | UNISA-996465392003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson
| Algebraic Methodology and Software Technology [[electronic resource] ] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / / edited by Michael Johnson |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 602 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer logic Special purpose computers Mathematical logic Software Engineering/Programming and Operating Systems Theory of Computation Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Mathematical Logic and Formal Languages |
| ISBN | 3-540-69661-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software configuration with information systems -- Head-tactics simplification -- Iteration 2-theories: Extended Abstract -- Model checking and fault tolerance -- Deadlock analysis for a fault-tolerant system -- From sequential to multi-threaded Java: An event-based operational semantics -- Permissive subsorted partial logic in CASL -- Specification of timing constraints within the circal process algebra -- On the specification and verification of performance properties for a timed process algebra -- Abstract interpretation of algebraic polynomial systems (Extended abstract) -- Modular refinement and model building -- A linear temporal logic approach to objects with transactions -- Software design, specification, and verification: Lessons learned from the Rether case study -- Refinement rules for real-time multi-tasking programs -- Rigorous object-oriented modeling: Integrating formal and informal notations -- Completeness in abstract interpretation: A domain perspective -- Floating point verification in HOL light: The exponential function -- Verification of distributed real-time and fault-tolerant protocols -- Invariants, bisimulations and the correctness of coalgebraic refinements -- On bisimulation, fault-monotonicity and provable fault-tolerance -- Span(Graph): A categorical algebra of transition systems -- Representing place/transition nets in Span(Graph) -- Invariants of parameterized binary tree networks as greatest fixpoints -- Modelling specification construction by successive approximations -- On partial validation of logic programs -- Preservation and reflection in specification -- Case studies in using a meta-method for formal method integration -- The update calculus -- Selective attribute elimination for categorical data specifications -- ATM switch design: Parametric high-level modeling and formal verification -- The hidden function question revisited -- Synchronization of logics with mixed rules: Completeness preservation -- Symbolic bisimulation for Full LOTOS -- Algebraic composition and refinement of proofs -- Ensuring streams flow -- Extending process languages with time -- Parametric analysis of computer systems -- CAMILA: Prototyping and refinement of constructive specifications -- PAMELA+PVS -- The circal system -- A refinement-type checker for standard ML -- Recording HOL proofs in a structured browsable format -- Analysing multi-agent system traces with IDaF -- DOVE: A tool for design oriented verification and evaluation -- The B method and the B toolkit -- An algebraic language processing environment -- The Cogito development system. |
| Record Nr. | UNINA-9910144902403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic Methodology and Software Technology [[electronic resource] ] : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings / / edited by V.S. Alagar, Maurice Nivat
| Algebraic Methodology and Software Technology [[electronic resource] ] : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings / / edited by V.S. Alagar, Maurice Nivat |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XV, 597 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Applied mathematics Engineering mathematics Computer logic Mathematical logic Theory of Computation Software Engineering/Programming and Operating Systems Applications of Mathematics Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 3-540-49410-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Equational logic as a tool -- Teaching mathematics to software engineers -- The role of education and training in the industrial application of formal methods -- Information algebras -- Verification of logic programs with delay declarations -- An introduction to category-based equational logic -- Knowledge based computation -- Order-sorted algebraic specifications with higher-order functions -- Proving the correctness of behavioural implementations -- On the decidability of process equivalences for the ?-calculus -- Detecting isomorphisms of modular specifications with diagrams -- Higher-order narrowing with convergent systems -- Context-free event domains are recognizable -- Encoding natural semantics in Coq -- Mongruences and cofree coalgebras -- Semantic typing for parametric algebraic specifications -- Causality and true concurrency: A data-flow analysis of the Pi-Calculus -- Verification in continuous time by discrete reasoning -- Dynamic matrices and the cost analysis of concurrent programs -- Petri nets, traces, and local model checking -- An algebraic framework for developing and maintaining real-time systems -- Logical foundations for compositional verification and development of concurrent programs in UNITY -- CPO models for infinite term rewriting -- Completeness results for two-sorted metric temporal logics -- On mechanizing proofs within a complete proof system for Unity -- Automated reasoning about parallel algorithms using powerlists -- Representing, verifying and applying software development steps using the PVS system -- An algebraic development technique for information systems -- A framework for machine-assisted user interface verification -- Specification of the Unix file system: A comparative case study -- A Calculus of Countable Broadcasting Systems -- Symbolic timing devices -- An algebraic construction of the well-founded model -- Confluence in concurrent constraint programming -- A generic algebra for data collections based on constructive logic -- Partial order programming (Revisited) -- SPIKE: a system for automatic inductive proofs -- SEAMLESS: Knowledge based evolutionary system synthesis -- An object-oriented front-end for deductive databases -- The SuRE programming framework -- A declarative system for multi-database interoperability -- The METAGEN system. |
| Record Nr. | UNISA-996466158603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methods II: Theory, Tools and Applications [[electronic resource] /] / edited by Jan A. Bergstra, Loe M.G. Feijs
| Algebraic Methods II: Theory, Tools and Applications [[electronic resource] /] / edited by Jan A. Bergstra, Loe M.G. Feijs |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 436 p.) |
| Disciplina | 005.1/01/512 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algebra
Applied mathematics Engineering mathematics Data structures (Computer science) Software engineering Computer programming Programming languages (Electronic computers) Applications of Mathematics Data Structures and Information Theory Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-46351-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formalizing informal requirements some aspects -- ViewPoint oriented software development: Methods and viewpoints in requirements engineering -- Using transformations to verify parallel programs -- Experiences with combining formalisms in VVSL -- A meta-environment for generating programming environments -- Introducing formal requirements into industry -- Where can I get gas round here? — an application of a design methodology for distributed systems -- Transformations of designs -- Norman's database modularised in COLD-K -- POLAR a picture-oriented language for abstract representations -- Inheritance in COLD -- A process specification formalism based on static COLD -- Specification of the transit node in PSFd -- Design of a specification language by abstract syntax engineering -- From an ERAE requirements specification to a PLUSS algebraic specification: A case study. |
| Record Nr. | UNISA-996465417703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||