Fundamentals of Software Engineering [[electronic resource] ] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / / edited by Farhad Arbab, Marjan Sirjani |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIII, 471 p.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Computers Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Programming Techniques Models and Principles |
Soggetto genere / forma |
Kongress.
Kīs̆ (Insel, 2009) |
ISBN |
1-280-38560-X
9786613563521 3-642-11623-X |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a Notion of Unsatisfiable Cores for LTL -- Rule Formats for Determinism and Idempotence -- The Complexity of Reachability in Randomized Sabotage Games -- Applying Step Coverability Trees to Communicating Component-Based Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis of Concurrent Objects in Creol -- A Timed Calculus for Wireless Systems -- Model Checking Linear Duration Invariants of Networks of Automata -- Automata Based Model Checking for Reo Connectors -- On the Expressiveness of Refinement Settings -- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications for Testing Asynchronous Creol Components -- Compositional Strategy Mapping -- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs -- Refinement Patterns for Hierarchical UML State Machines -- Specification and Validation of Behavioural Protocols in the rCOS Modeler -- The Interplay between Relationships, Roles and Objects -- A Coordination Model for Interactive Components -- Session 3. Short Papers -- Evolution Control in MDE Projects: Controlling Model and Code Co-evolution -- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures -- A First Step towards Security Policy Compliance of Connectors -- A Safe Implementation of Dynamic Overloading in Java-Like Languages -- Fundamental Concepts for the Structuring of Functionality into Modular Parts. |
Record Nr. | UNISA-996465523703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / / edited by Farhad Arbab, Marjan Sirjani |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIII, 471 p.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Computers Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Programming Techniques Models and Principles |
Soggetto genere / forma |
Kongress.
Kīs̆ (Insel, 2009) |
ISBN |
1-280-38560-X
9786613563521 3-642-11623-X |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a Notion of Unsatisfiable Cores for LTL -- Rule Formats for Determinism and Idempotence -- The Complexity of Reachability in Randomized Sabotage Games -- Applying Step Coverability Trees to Communicating Component-Based Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis of Concurrent Objects in Creol -- A Timed Calculus for Wireless Systems -- Model Checking Linear Duration Invariants of Networks of Automata -- Automata Based Model Checking for Reo Connectors -- On the Expressiveness of Refinement Settings -- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications for Testing Asynchronous Creol Components -- Compositional Strategy Mapping -- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs -- Refinement Patterns for Hierarchical UML State Machines -- Specification and Validation of Behavioural Protocols in the rCOS Modeler -- The Interplay between Relationships, Roles and Objects -- A Coordination Model for Interactive Components -- Session 3. Short Papers -- Evolution Control in MDE Projects: Controlling Model and Code Co-evolution -- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures -- A First Step towards Security Policy Compliance of Connectors -- A Safe Implementation of Dynamic Overloading in Java-Like Languages -- Fundamental Concepts for the Structuring of Functionality into Modular Parts. |
Record Nr. | UNINA-9910484150203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings / / Farhad Arbab, Marjan Sirjani (eds.) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XIII, 452 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico | Software engineering |
ISBN | 3-540-75698-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic -- Slicing Abstractions -- Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme -- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata -- Is Your Security Protocol on Time ? -- Adapting the UPPAAL Model of a Distributed Lift System -- Zone-Based Universality Analysis for Single-Clock Timed Automata -- Compositional Semantics of System-Level Designs Written in SystemC -- Reusing Requirements: The Need for Extended Variability Models -- Test Selection Criteria for Quantifier-Free First-Order Specifications -- Formal Testing of Systems Presenting Soft and Hard Deadlines -- Automatic Composition of Stateless Components: A Logical Reasoning Approach -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition -- Regulating Data Exchange in Service Oriented Applications -- A Behavioural Congruence for Web Services -- Logic–Based Detection of Conflicts in Appel Policies -- Hoare Logic for ARM Machine Code -- Action Abstraction in Timed Process Algebra -- Type Abstractions of Name-Passing Processes -- Formal Specification of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages -- Efficient State Space Reduction for Automata by Fair Simulation -- Model Checking Temporal Metric Specifications with Trio2Promela -- Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack -- Vulnerability Analysis in VGBPS Using Prolog -- An Alternative Algorithm for Constraint Automata Product -- A Review on Specifying Software Architectures Using Extended Automata-Based Models -- ArchC#: A New Architecture Description Language for Distributed Systems -- Relationships Meet Their Roles in Object Oriented Programming. |
Altri titoli varianti | FSEN 2007 |
Record Nr. | UNINA-9910483797403321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings / / Farhad Arbab, Marjan Sirjani (eds.) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XIII, 452 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico | Software engineering |
ISBN | 3-540-75698-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic -- Slicing Abstractions -- Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme -- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata -- Is Your Security Protocol on Time ? -- Adapting the UPPAAL Model of a Distributed Lift System -- Zone-Based Universality Analysis for Single-Clock Timed Automata -- Compositional Semantics of System-Level Designs Written in SystemC -- Reusing Requirements: The Need for Extended Variability Models -- Test Selection Criteria for Quantifier-Free First-Order Specifications -- Formal Testing of Systems Presenting Soft and Hard Deadlines -- Automatic Composition of Stateless Components: A Logical Reasoning Approach -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition -- Regulating Data Exchange in Service Oriented Applications -- A Behavioural Congruence for Web Services -- Logic–Based Detection of Conflicts in Appel Policies -- Hoare Logic for ARM Machine Code -- Action Abstraction in Timed Process Algebra -- Type Abstractions of Name-Passing Processes -- Formal Specification of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages -- Efficient State Space Reduction for Automata by Fair Simulation -- Model Checking Temporal Metric Specifications with Trio2Promela -- Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack -- Vulnerability Analysis in VGBPS Using Prolog -- An Alternative Algorithm for Constraint Automata Product -- A Review on Specifying Software Architectures Using Extended Automata-Based Models -- ArchC#: A New Architecture Description Language for Distributed Systems -- Relationships Meet Their Roles in Object Oriented Programming. |
Altri titoli varianti | FSEN 2007 |
Record Nr. | UNISA-996465834303316 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Principles of Modeling [[electronic resource] ] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXVII, 539 p. 158 illus.) |
Disciplina | 003.3 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Computer organization Computer hardware Artificial intelligence Computers Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computer Hardware Artificial Intelligence The Computing Profession |
ISBN | 3-319-95246-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | You Can Program What You Want but You Cannot Compute What You Want -- Transforming Threads Into Actors: Learning Concurrency Structure from Execution Traces -- Interfaces for Stream Processing Systems -- Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties -- Predictability Issues in Mixed-Criticality Real-Time Systems -- Model-based Representations for Dataflow Schedules -- Hybrid Simulation Safety: Limbos and Zero Crossings -- Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework -- Computing Average Response Time -- Modeling Dynamical Phenomena in the Era of Big Data -- A Formal Semantics for Traffic Sequence Charts -- Code Generation for Flow Preservation in Multicore Systems -- A Semantic Account of Rigorous Simulation -- On Determinism -- Lossy Channels in a Dataflow Model of Computation -- If We Could Go Back in Time. . .On the Use of `Unnatural' Time and Ordering in Dataflow Models -- Compressed Sensing in Cyber Physical Social Systems -- Embedded Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered Control Systems -- Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems -- The Relativity Example: Is Terminological Innovation a Good Idea -- Hierarchical System Design with Vertical Contracts -- Abstraction and Refinement of Time in Hierarchically Decomposable Underspecified Architecture Simulations -- Cyber-Physical Systems Education: Explorations and Dreams -- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience -- Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, and Compositionality -- Complexity Challenges in Development of Cyber-Physical Systems -- Augmenting State Models with Data Flow -- On the Road to Conviction: An Email Exchange with Edward Lee. |
Record Nr. | UNISA-996466186803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXVII, 539 p. 158 illus.) |
Disciplina | 003.3 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Computer organization Computer hardware Artificial intelligence Computers Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computer Hardware Artificial Intelligence The Computing Profession |
ISBN | 3-319-95246-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | You Can Program What You Want but You Cannot Compute What You Want -- Transforming Threads Into Actors: Learning Concurrency Structure from Execution Traces -- Interfaces for Stream Processing Systems -- Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties -- Predictability Issues in Mixed-Criticality Real-Time Systems -- Model-based Representations for Dataflow Schedules -- Hybrid Simulation Safety: Limbos and Zero Crossings -- Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework -- Computing Average Response Time -- Modeling Dynamical Phenomena in the Era of Big Data -- A Formal Semantics for Traffic Sequence Charts -- Code Generation for Flow Preservation in Multicore Systems -- A Semantic Account of Rigorous Simulation -- On Determinism -- Lossy Channels in a Dataflow Model of Computation -- If We Could Go Back in Time. . .On the Use of `Unnatural' Time and Ordering in Dataflow Models -- Compressed Sensing in Cyber Physical Social Systems -- Embedded Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered Control Systems -- Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems -- The Relativity Example: Is Terminological Innovation a Good Idea -- Hierarchical System Design with Vertical Contracts -- Abstraction and Refinement of Time in Hierarchically Decomposable Underspecified Architecture Simulations -- Cyber-Physical Systems Education: Explorations and Dreams -- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience -- Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, and Compositionality -- Complexity Challenges in Development of Cyber-Physical Systems -- Augmenting State Models with Data Flow -- On the Road to Conviction: An Email Exchange with Edward Lee. |
Record Nr. | UNINA-9910349418103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Engineering and Formal Methods [[electronic resource] ] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / / edited by Alessandro Cimatti, Marjan Sirjani |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 410 p. 94 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Electronic digital computers—Evaluation Artificial intelligence Software Engineering Compilers and Interpreters Programming Techniques Theory of Computation System Performance and Evaluation Artificial Intelligence |
ISBN | 3-319-66197-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466155703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / / edited by Alessandro Cimatti, Marjan Sirjani |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 410 p. 94 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Electronic digital computers—Evaluation Artificial intelligence Software Engineering Compilers and Interpreters Programming Techniques Theory of Computation System Performance and Evaluation Artificial Intelligence |
ISBN | 3-319-66197-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910482983303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|