Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / / edited by Mathai Joseph |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Architecture, Computer Computer logic Microprocessors Special purpose computers Logic design Programming Languages, Compilers, Interpreters Computer System Implementation Logics and Meanings of Programs Processor Architectures Special Purpose and Application-Based Systems Logic Design |
ISBN | 3-540-45352-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Stability of Discrete Sampled Systems -- Issues in the Refinement of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking -- Scaling up Uppaal -- Decidable Model Checking of Probabilistic Hybrid Automata -- Fault Tolerance -- Invariant-Based Synthesis of Fault-Tolerant Systems -- Modeling Faults of Distributed, Reactive Systems -- Threshold and Bounded-Delay Voting in Critical Control Systems -- Automating the Addition of Fault-Tolerance -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction of Scheduled Systems -- A Dual Interpretation of “Standard Constraints” in Parametric Scheduling -- Validation -- Co-Simulation of Hybrid Systems: Signal-Simulink -- A System for Object Code Validation -- Refinement -- Real-Time Program Refinement Using Auxiliary Variables -- On Refinement and Temporal Annotations -- Generalizing Action Systems to Hybrid Systems -- Verification -- Compositional Verification of Synchronous Networks -- Modelling Coordinated Atomic Actions in Timed CSP -- Logic and Automata -- A Logical Characterisation of Event Recording Automata -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata -- Probabilistic Neighbourhood Logic -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Verifying Universal Properties of Parameterized Networks. |
Record Nr. | UNINA-9910143616503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / / edited by Mathai Joseph |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Architecture, Computer Computer logic Microprocessors Special purpose computers Logic design Programming Languages, Compilers, Interpreters Computer System Implementation Logics and Meanings of Programs Processor Architectures Special Purpose and Application-Based Systems Logic Design |
ISBN | 3-540-45352-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Stability of Discrete Sampled Systems -- Issues in the Refinement of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking -- Scaling up Uppaal -- Decidable Model Checking of Probabilistic Hybrid Automata -- Fault Tolerance -- Invariant-Based Synthesis of Fault-Tolerant Systems -- Modeling Faults of Distributed, Reactive Systems -- Threshold and Bounded-Delay Voting in Critical Control Systems -- Automating the Addition of Fault-Tolerance -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction of Scheduled Systems -- A Dual Interpretation of “Standard Constraints” in Parametric Scheduling -- Validation -- Co-Simulation of Hybrid Systems: Signal-Simulink -- A System for Object Code Validation -- Refinement -- Real-Time Program Refinement Using Auxiliary Variables -- On Refinement and Temporal Annotations -- Generalizing Action Systems to Hybrid Systems -- Verification -- Compositional Verification of Synchronous Networks -- Modelling Coordinated Atomic Actions in Timed CSP -- Logic and Automata -- A Logical Characterisation of Event Recording Automata -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata -- Probabilistic Neighbourhood Logic -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Verifying Universal Properties of Parameterized Networks. |
Record Nr. | UNISA-996466346603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 / / edited by Mathai Joseph |
Edizione | [1st ed. 1988.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
Descrizione fisica | 1 online resource (VIII, 232 p.) |
Disciplina | 004.6 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Special purpose computers
Special Purpose and Application-Based Systems |
ISBN | 3-540-45965-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | High integrity computing -- Using higher-order logic for modular specification of real-time distributed systems -- Timed specifications for the development of real-time systems -- Applications of temporal logic to the specification of real time systems -- From a synchronous declarative language to a temporal logic dealing with multiform time -- A specification language for reliable real-time systems -- Timed acceptances: A model of time dependent processes -- Responsive sequential processes -- Static analysis of real-time distributed systems -- Low level synchronisation problems in digital systems -- Reasoning about uncertainty in fault-tolerant distributed systems -- Paradigms for real-time systems -- Towards a theory of replicated processing -- Reasoning about atomic objects -- A formal treatment of interference in remote procedure calls -- List of authors and addresses. |
Record Nr. | UNISA-996465669803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Engineering Approaches for Offshore and Outsourced Development [[electronic resource] ] : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers / / edited by Bertrand Meyer, Mathai Joseph |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (X, 201 p.) |
Disciplina | 658.4/0580285 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Management information systems Computer science Computers and civilization Application software Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems Computers and Society Computer Appl. in Administrative Data Processing |
ISBN | 3-540-75542-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Offshore Software Development: Transferring Research Findings into the Classroom -- Meeting the Challenge of Communication in Offshore Software Development -- Testable Requirements for Offshore Outsourcing -- Introducing Global Supply Chains into Software Engineering Education -- Turn on Lean Governance ... for Return on Outsourcing -- Making IT Offshoring Work for the Japanese Industries -- Mastering Dual-Shore Development – The Tools and Materials Approach Adapted to Agile Offshoring -- Evaluating Collaboration Platforms for Offshore Software Development Scenarios -- Outsourcing and Offshoring: The Consultancies’ Estimates -- Questionnaire-Based Risk Assessment Scheme for Japanese Offshore Software Outsourcing -- An Evaluation Method for Offshore Software Development by Structural Equation Modeling -- The Value of Outsourced Software -- Reducing the Cost of Communication and Coordination in Distributed Software Development -- Survey on Japan-Oriented Offshore Software Development in China -- Toward Visualization and Analysis of Traceability Relationships in Distributed and Offshore Software Development Projects. |
Record Nr. | UNISA-996465293203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Engineering Approaches for Offshore and Outsourced Development [[electronic resource] ] : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers / / edited by Bertrand Meyer, Mathai Joseph |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (X, 201 p.) |
Disciplina | 658.4/0580285 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Management information systems Computer science Computers and civilization Application software Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems Computers and Society Computer Appl. in Administrative Data Processing |
ISBN | 3-540-75542-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Offshore Software Development: Transferring Research Findings into the Classroom -- Meeting the Challenge of Communication in Offshore Software Development -- Testable Requirements for Offshore Outsourcing -- Introducing Global Supply Chains into Software Engineering Education -- Turn on Lean Governance ... for Return on Outsourcing -- Making IT Offshoring Work for the Japanese Industries -- Mastering Dual-Shore Development – The Tools and Materials Approach Adapted to Agile Offshoring -- Evaluating Collaboration Platforms for Offshore Software Development Scenarios -- Outsourcing and Offshoring: The Consultancies’ Estimates -- Questionnaire-Based Risk Assessment Scheme for Japanese Offshore Software Outsourcing -- An Evaluation Method for Offshore Software Development by Structural Equation Modeling -- The Value of Outsourced Software -- Reducing the Cost of Communication and Coordination in Distributed Software Development -- Survey on Japan-Oriented Offshore Software Development in China -- Toward Visualization and Analysis of Traceability Relationships in Distributed and Offshore Software Development Projects. |
Record Nr. | UNINA-9910484661003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|