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] ] : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / / edited by Martin Wirsing, Maurice Nivat
| Algebraic Methodology and Software Technology [[electronic resource] ] : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / / edited by Martin Wirsing, Maurice Nivat |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XIII, 647 p.) |
| Disciplina | 005.1/2/015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer logic Mathematical logic Special purpose computers Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Special Purpose and Application-Based Systems |
| ISBN | 3-540-68595-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Two industrial trials of formal specification -- Industrial applications of ASF+SDF -- The embedded software of an electricity meter: An experience in using formal methods in an industrial project -- Applying research results in the industrial environment: The case of the TRIO specification language -- Using heterogeneous formal methods in distributed software engineering education -- Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language -- Toward a classification approach to design -- Semantic foundations for embedding HOL in Nuprl -- Free variable tableaux for a many sorted logic with preorders -- Automating induction over mutually recursive functions -- Pushouts of order-sorted algebraic specifications -- A formal framework for modules with state -- Object-oriented implementation of abstract data type specifications -- On the completeness of the equations for the Kleene star in bisimulation -- An equational axiomatization of observation congruence for prefix iteration -- Finite axiom systems for testing preorder and De Simone process languages -- Constructive semantics of Esterel: From theory to practice (abstract) -- Using ghost variables to prove refinement -- Tracing the origins of verification conditions -- Preprocessing for invariant validation -- Formal verification of Signal programs: Application to a power transformer station controller -- The discrete time toolbus -- A study on the specification and verification of performance properties -- Symbolic bisimulation for timed processes -- Approximative analysis by process algebra with graded spatial actions -- Boolean formalism and explanations -- Proving existential termination of normal logic programs -- Programming in Lygon: An overview -- Some characteristics of strong innermost normalization -- On the emergence of properties in component-based systems -- Algebraic view specification -- Towards heterogeneous formal specifications -- A categorical characterization of consistency results -- Algebraic specification of reactive systems -- A model for mobile point-to-point data-flow networks without channel sharing -- Coalgebraic specifications and models of deterministic hybrid systems -- A bounded retransmission protocol for large data packets -- SPECWARE: An advanced environment for the formal development of complex software systems -- Asspegique+ an integrated specification environment providing inter-operability of tools -- Towards integrating algebraic specification and functional programming: the Opal system -- InterACT: An interactive theorem prover for algebraic specifications -- A new proof-manager and graphic interface for the Larch Prover -- TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems -- The ToolBus coordination architecture -- ASD: The action semantic description tools -- Using occurrrence and evolving algebras for the specification of language-based programming tools -- ECHIDNA: A system for manipulating explicit choice higher dimensional automata -- Verification using PEP -- The Fc2tools set -- Programming in Lygon: A system demonstration -- CtCoq: A system presentation -- The Typelab specification and verification environment -- Incremental formalization -- Proplane: A specification development environment -- A logic-based technology to mechanize software components reuse -- TkGofer: A functional GUI library -- ALPHA — A class library for a metamodel based on algebraic graph theory -- Resolution of goals with the functional and logic programming language LPG: Impact of abstract interpretation -- Combining reductions and computations in ReDuX -- Conditional directed narrowing. |
| Record Nr. | UNISA-996465664103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
CAAP '88 [[electronic resource] ] : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings / / edited by Max Dauchet, Maurice Nivat
| CAAP '88 [[electronic resource] ] : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings / / edited by Max Dauchet, Maurice Nivat |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VIII, 305 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Theory of Computation Computation by Abstract Devices |
| ISBN | 3-540-38930-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A tree pattern matching algorithm with reasonable space requirements -- On the maximum path length of AVL trees -- Decomposition trees: Structured graph representation and efficient algorithms -- On counting and approximation -- Parameter-reduction of higher level grammars -- Analysis of dynamic algorithms in D.E.Knuth's model -- On completeness of narrowing strategies -- Implementing term rewrite languages in Dactl -- Unification in primal algebras -- Algebraic specification with built-in domain constructions -- Product and iteration of module specifications -- Equational completion in order-sorted algebras extended abstract -- Proving systolic arrays -- Expressiveness bounds for completeness in trace-based network proof systems -- Proof systems for Hennessy-Milner Logic with recursion -- Regular automata and model checking -- Interval logics and sequential transducers -- A2CCS: A simple extension of CCS for handling atomic actions -- Modelling statecharts behaviour in a fully abstract way -- Directed hypergraphs: Data structures and applications. |
| Record Nr. | UNISA-996465801803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 2: Colloquium on Software Engineering (CSE) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
| Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 2: Colloquium on Software Engineering (CSE) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (XVII, 459 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-39307-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the relevance of formal methods to software development -- Combining algebraic and predicative specifications in Larch -- The role of proof obligations in software design -- Functional semantics of modules -- Intuition in software development -- A rational design process: How and why to fake it -- Formalization in systems development -- Specifying and prototyping: Some thoughts on why they are successful -- A formal specification of line representations on graphics devices -- Experiences with the PSG — Programming System Generator -- Software construction using typed fragments -- Graph grammar engineering: A method used for the development of an integrated programming support environment -- Multidimensional tree-structured file spaces -- A theory of abstract data types for program development: Bridging the gap? -- Program development and documentation by informal transformations and derivations -- ASSPEGIQUE: An integrated environment for algebraic specifications -- Application of PROLOG to test sets generation from algebraic specifications -- A PROLOG environment for developing and reasoning about data types -- Algebraic specification of synchronisation and errors: A telephonic example -- Modelling concurrent modules -- Synthesis of parallel programs invariants -- Analyzing safety and fault tolerance using Time Petri nets -- Algebraic specification of a communication scheduler -- The integration and distribution phase in the software life cycle -- Formalized software development in an industrial environment -- Object oriented concurrent programming and industrial software production -- Experience of introducing the Vienna development method into an industrial organisation -- EDP system development methodology: Auditability and control -- Experiences with object oriented programming. |
| Record Nr. | UNISA-996466096503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Software Science and Computation Structures [[electronic resource] ] : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Maurice Nivat
| Foundations of Software Science and Computation Structures [[electronic resource] ] : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Maurice Nivat |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XI, 297 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer logic Mathematical logic Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Theory of Computation Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| ISBN | 3-540-69720-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Generalizing domain theory -- A cook's tour of equational axiomatizations for prefix iteration -- The WHILE hierarchy of program schemes is infinite -- Analysis of a guard condition in type theory -- An event structure semantics for P/T contextual nets: Asymmetric event structures -- Pumping Lemmas for timed automata -- Asynchronous Observations of Processes -- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling -- Partial metrics and co-continuous valuations -- Mobile ambients -- Rational term rewriting -- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations -- Net refinement by pullback rewriting -- On piecewise testable, starfree, and recognizable picture languages -- Functor categories and two-level languages -- Deciding properties for message sequence charts -- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages -- Deterministic rational transducers and random sequences -- Resource based models for asynchrony. |
| Record Nr. | UNISA-996466127503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Software Science and Computation Structures [[electronic resource] ] : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Maurice Nivat
| Foundations of Software Science and Computation Structures [[electronic resource] ] : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / / edited by Maurice Nivat |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XI, 297 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer logic Logic, Symbolic and mathematical Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Theory of Computation Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| ISBN | 3-540-69720-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Generalizing domain theory -- A cook's tour of equational axiomatizations for prefix iteration -- The WHILE hierarchy of program schemes is infinite -- Analysis of a guard condition in type theory -- An event structure semantics for P/T contextual nets: Asymmetric event structures -- Pumping Lemmas for timed automata -- Asynchronous Observations of Processes -- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling -- Partial metrics and co-continuous valuations -- Mobile ambients -- Rational term rewriting -- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations -- Net refinement by pullback rewriting -- On piecewise testable, starfree, and recognizable picture languages -- Functor categories and two-level languages -- Deciding properties for message sequence charts -- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages -- Deterministic rational transducers and random sequences -- Resource based models for asynchrony. |
| Record Nr. | UNINA-9910143455203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
| Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (XVIII, 422 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer logic Combinatorics Theory of Computation Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-39302-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification and top down design of distributed systems -- Specification languages for distributed systems -- Semantically based programming tools (Summary) -- From function level semantics to program transformation and optimization -- Inductively defined functions -- Three approaches to type structure -- On the maximum size of random trees -- Fast searching in a real algebraic manifold with applications to geometric complexity -- Typed categorical combinatory logic -- A path ordering for proving termination of term rewriting systems -- A rewrite rule based approach for synthesizing abstract data types -- “Delayability” in proofs of strong normalizability in the typed lambda Calculus -- Bisimulations and abstraction homomorphisms -- A metric characterization of fair computations in CCS -- A complete modal proof system for a subset of SCCS -- Amalgamation of graph transformations with applications to synchronization -- Decompilation of control structures by means of graph transformations -- Synchronized bottom-up tree automata and L-systems -- On observational equivalence and algebraic specification -- Parameter preserving data type specifications -- On the parameterized algebraic specification of concurrent systems -- The semantics of shared submodules specifications -- Why Horn formulas matter in computer science: Initial structures and generic examples -- On the implementation of abstract data types by programming language constructs -- A LISP compiler for FP language and its proof via algebraic semantics. |
| Record Nr. | UNISA-996466099303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Parallel Image Analysis [[electronic resource] ] : Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings / / edited by Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S.P. Wang, Katsushi Inoue
| Parallel Image Analysis [[electronic resource] ] : Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992. Proceedings / / edited by Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick S.P. Wang, Katsushi Inoue |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (VIII, 316 p.) |
| Disciplina | 006.4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Signal processing
Image processing Speech processing systems Optical data processing Pattern recognition Numerical analysis Computers Algorithms Signal, Image and Speech Processing Image Processing and Computer Vision Pattern Recognition Numerical Analysis Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-47538-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From equations to hardware. Towards the systematic mapping of algorithms onto parallel architectures -- Visual pattern recognition with neural networks -- Object recognition by a self-organizing neural network which grows adaptively -- Intelligent pattern recognition and applications -- Path-controlled graph grammars for syntactic pattern recognition -- Describing objects by a multi-resolution syntactic approach -- Parallel manipulations of octrees and quadtrees -- Vision reflex operators -- Note on two-dimensional pattern matching by optimal parallel algorithms -- An efficient line drawing algorithm for parallel machines -- A characterization of recognizable picture languages -- Constant leaf-size hierarchy of two-dimensional alternating turing machines -- Shape recovery and error correction based on hypothetical constraints by parallel network for energy minimization -- Use of gradated patterns in associative neural memory for invariant pattern recognition -- Context-sensitivity of puzzle grammars -- Parallel generation and parsing of array languages using reversible cellular automata -- Parallel recognition of multidimensional images using regular tree grammars -- Optimal parallel algorithms for multidimensional image template matching and pattern matching -- Learning of recognizable picture languages -- Circular DNA and splicing systems -- Learning even equal matrix languages based on control sets -- Parallel dynamic programming algorithms for image recognition based on its contour -- Neural model for pattern recognition -- Three-dimensional sequential/parallel universal array grammars and object pattern analysis. |
| Record Nr. | UNISA-996466087703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||