Formal Methods: Foundations and Applications [[electronic resource] ] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / / edited by Rohit Gheyi, David Naumann |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 227 p. 67 illus.) |
Disciplina | 004.01/51 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Mathematical logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Computer Science, general |
ISBN | 3-642-33296-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Versatile Synchronous Observer.-Ten Years of Automated Code Analysis at Microsoft.-Model Checking Propositional Deontic Temporal Logic via a mu-calculus Characterization.-An approach using the B method to formal verification of PLC programs in an Industrial Setting.-Palytoxin Inhibits the Sodium-Potassium Pump -- An Investigation of an Electrophysiological Model Using Probabilistic Model Checking.-BETA: A B Based Testing Approach.-A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.-Specification Patterns for Properties over Reachable States of Graph Grammars.-Refinement, Compositionality, and Model-Driven Engineering -- Identifying hardware failures systematically -- Investigating Time Properties of Interrupt-Driven Programs -- Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows -- Composition of Model Transformations: A Categorical Framework -- Verification Rules for Exception Handling in Eiffel -- Sound reduction of persistent sets for deadlock detection in MPI applications -- Alternating-time Temporal Logic in the Calculus of (Co)Inductive Co. |
Record Nr. | UNISA-996465839103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unifying Theories of Programming [[electronic resource] ] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / / edited by David Naumann |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (IX, 143 p. 10 illus.) : online resource |
Disciplina | 004 |
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-319-14806-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Numerous formal notations.- Theories of programming -- Abstraction -- Refinement -- Choice -- Termination -- Feasibility -- Locality -- Concurrency and communication. |
Record Nr. | UNISA-996198833903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / / edited by David Naumann |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (IX, 143 p. 10 illus.) : online resource |
Disciplina | 004 |
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-319-14806-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Numerous formal notations.- Theories of programming -- Abstraction -- Refinement -- Choice -- Termination -- Feasibility -- Locality -- Concurrency and communication. |
Record Nr. | UNINA-9910484459803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|