Communication et connaissance : Supports et médiations à l’âge de l’information / / Jean-Gabriel Ganascia |
Autore | Aussenac Nathalie |
Pubbl/distr/stampa | Paris, : CNRS Éditions, 2020 |
Descrizione fisica | 1 online resource (192 p.) |
Altri autori (Persone) |
BalacheffNicolas
BazetIsabelle Beaudouin-LafonMichel BeauvillainPierre BourcierDanièle BourigaultDidier BréchignacCatherine BretonPhilippe CaelenJean CaraFrancesco ChappertClaude CharletJean ChavelPierre DecosterDidier de RougemontMichel de TerssacGilbert Dieng-KuntzRose DollfusPhilippe FdidaSerge FlandrinPatrick GallinariPatrick GanasciaJean-Gabriel GarneroLine GaspinChristine GaudelMarie-Claude HocJean-Michel JacobChristian JorrandPhilippe LoiseauGérard Munoz-YagueAntonio PierrelJean-Marie PlateauBrigitte QuéréRaymond RastierFrançois RollandPaul-Alain SaillardJoseph SalaünJean-Michel SanchezJean Pierre SchollMichel TrystramDenis |
Collana | Sciences et Techniques de l'Ingénieur |
Soggetto topico |
Communication - Technological innovations
User interfaces (Computer systems) |
Soggetto non controllato |
informatique
information modélisation web internet télécommunication donnée TIC |
ISBN | 2-271-12824-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-9910495980803321 |
Aussenac Nathalie
![]() |
||
Paris, : CNRS Éditions, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
FME '96: Industrial Benefit and Advances in Formal Methods [[electronic resource] ] : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. / / edited by Marie-Claude Gaudel, James Woodcock |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XIII, 711 p.) |
Disciplina | 005.1/01/5113 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Information technology Business—Data processing Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs IT in Business |
ISBN | 3-540-49749-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | How did software get so reliable without proof? -- A case study on the formal development of a reactor safety system -- Test automation for safety-critical systems: Industrial application and future developments -- Quantitative analysis of an application of formal methods -- Applying the B technologies to CICS -- Refining action systems within B-Tool -- Integrating action systems and Z in a medical system specification -- Formalizing Anaesthesia: A case study in formal specification -- A new system engineering methodology coupling formal specification and performance evaluation -- Formalizing new navigation requirements for NASA's Space Shuttle -- Combining VDM-SL specifications with C++ code -- Data reification without explicit abstraction functions -- Formal and informal specifications of a secure system component: Final results in a comparative study -- Visual verification of safety and liveness -- Graphical development of consistent system specifications -- Deduction in the Verification Support Environment (VSE) -- Consistency and refinement for partial specification in Z -- Combining statecharts and Z for the design of safety-critical control systems -- Integrating real-time scheduling theory and program refinement -- Using a logical and categorical approach for the validation of fault-tolerant systems -- Local nondeterminism in asynchronously communicating processes -- Identification of and solutions to shortcomings of LCL, a Larch/C interface specification language -- Formal specification and verification of the pGVT algorithm -- Automatic verification of a hydroelectric power plant -- Experiences in embedded scheduling -- Model checking in practice: An analysis of the ACCESS.bus™ protocol using SPIN -- The incremental development of correct specifications for distributed systems -- A theory of distributing train rescheduling -- An improved translation of SA/RT specification model to high-level timed Petri nets -- From testing theory to test driver implementation -- Program slicing using weakest preconditions -- A formal approach to architectural design patterns -- Modular completeness: Integrating the reuse of specified software in top-down program development -- A strategic approach to transformational design -- Correct and user-friendly implementations of transformation systems -- An example of use of formal methods to debug an embedded software -- Experiments in theorem proving and model checking for protocol verification -- Procedure-level verification of real-time concurrent systems. |
Record Nr. | UNISA-996465577303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
TAPSOFT '93: Theory and Practice of Software Development [[electronic resource] ] : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings / / edited by Marie-Claude Gaudel, Jean-Pierre Jouannaud |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (XII, 768 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computers Algorithms Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices Algorithm Analysis and Problem Complexity |
ISBN | 3-540-47598-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Goldilocks and the three specifications -- On relating some models for concurrency -- Compositionality results for different types of parameterization and parameter passing in specification languages -- Proving ground confluence and inductive validity in constructor based equational specifications -- Associative-commutative discrimination nets -- Algebraic specification and development in geometric modeling -- A case study in transformational design of concurrent systems -- Yeast: A case study for a practical use of formal methods -- Verification and comparison of transition systems -- Constraining interference in an object-based design method -- From ?-calculus to higher-order ?-calculus — and back -- Hyperedge replacement with rendezvous -- True concurrency semantics for a linear logic programming language with broadcast communication -- A general framework for modular implementations of modular system specifications -- Specifications can make programs run faster -- Application of the composition principle to unity-like specifications -- Trees, ordinals and termination -- When is a functional tree transduction deterministic? -- Automata on infinite trees with counting constraints -- Directed column-convex polyominoes by recurrence relations -- Object organisation in software environments for formal methods -- Monads, indexes and transformations -- A technique for specifying and refining TCSP processes by using guards and liveness conditions -- Applications of type theory -- Feature automata and recognizable sets of feature trees -- About the theory of tree embedding -- Linear unification of higher-order patterns -- A theory of requirements capture and its applications -- Exception handling and term labelling -- Gate splitting in LOTOS specifications using abstract interpretation -- Constructing systems as object communities -- Term rewriting in CT? -- Optimal reductions in interaction systems -- Optimal solutions to pattern matching problems -- Testing for a conformance relation based on acceptance -- Testability of a communicating system through an environment -- Automating (specification = implementation) using equational reasoning and LOTOS -- On the Ehrenfeucht-Fraïssé game in theoretical computer science -- On asymptotic probabilities in logics that capture DSPACE(log n) in presence of ordering -- A propositional dense time logic -- La Vraie Forme d'un Arbre -- Model checking using net unfoldings -- Reachability analysis on distributed executions -- Property preserving abstractions under parallel composition -- Types as parameters -- Polymorphic type inference with overloading and subtyping -- Type reconstruction with recursive types and atomic subtyping -- (Un)expected path lengths of asymmetric binary search trees -- Trie size in a dynamic list structure -- A fully parallel calculus of synchronizing processes -- Generic systolic arrays: A methodology for systolic design. |
Record Nr. | UNISA-996466079703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theoretical Aspects of Computing [[electronic resource] ] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings / / edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIII, 397 p. 60 illus.) |
Disciplina | 003./54 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Theory of Computation |
ISBN |
1-280-38817-X
9786613566096 3-642-14808-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory of Software Product Line Refinement -- The TLA?+? Proof System: Building a Heterogeneous Verification Platform -- Grammars -- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules -- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution -- Tracking Down the Origins of Ambiguity in Context-Free Grammars -- Semantics -- Prioritized slotted-Circus -- A Denotational Semantical Model for Orc Language -- An Extended cCSP with Stable Failures Semantics -- Preference and Non-deterministic Choice -- Modelling -- Material Flow Abstraction of Manufacturing Systems -- Specification and Verification of a MPI Implementation for a MP-SoC -- Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software -- Testing of Abstract Components -- Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform -- Analyzing a Formal Specification of Mondex Using Model Checking -- Formal Modelling of Separation Kernel Components -- Mechanized Verification with Sharing -- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking -- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements -- Logics -- Complete Calculi for Structured Specifications in Fork Algebra -- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting -- Characterizing Locality (Encapsulation) with Bisimulation -- Justification Logic and History Based Computation -- Algorithms and Types -- A Class of Greedy Algorithms and Its Relation to Greedoids -- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types -- A Modality for Safe Resource Sharing and Code Reentrancy. |
Record Nr. | UNISA-996466212003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings / / edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIII, 397 p. 60 illus.) |
Disciplina | 003./54 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Theory of Computation |
ISBN |
1-280-38817-X
9786613566096 3-642-14808-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory of Software Product Line Refinement -- The TLA?+? Proof System: Building a Heterogeneous Verification Platform -- Grammars -- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules -- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution -- Tracking Down the Origins of Ambiguity in Context-Free Grammars -- Semantics -- Prioritized slotted-Circus -- A Denotational Semantical Model for Orc Language -- An Extended cCSP with Stable Failures Semantics -- Preference and Non-deterministic Choice -- Modelling -- Material Flow Abstraction of Manufacturing Systems -- Specification and Verification of a MPI Implementation for a MP-SoC -- Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software -- Testing of Abstract Components -- Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform -- Analyzing a Formal Specification of Mondex Using Model Checking -- Formal Modelling of Separation Kernel Components -- Mechanized Verification with Sharing -- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking -- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements -- Logics -- Complete Calculi for Structured Specifications in Fork Algebra -- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting -- Characterizing Locality (Encapsulation) with Bisimulation -- Justification Logic and History Based Computation -- Algorithms and Types -- A Class of Greedy Algorithms and Its Relation to Greedoids -- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types -- A Modality for Safe Resource Sharing and Code Reentrancy. |
Record Nr. | UNINA-9910484926703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Unifying Theories of Programming [[electronic resource] ] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / / edited by Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (VIII, 249 p. 4 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Theory of Computation |
ISBN | 3-642-35705-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language. |
Record Nr. | UNISA-996466001103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / / edited by Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (VIII, 249 p. 4 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Theory of Computation |
ISBN | 3-642-35705-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language. |
Record Nr. | UNINA-9910484369203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|