top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Model driven engineering languages and systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedings / Jon Whittle, Tony Clark, Thomas Kühne (eds.).
Model driven engineering languages and systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedings / Jon Whittle, Tony Clark, Thomas Kühne (eds.).
Creatore [MODELS 2011 (2011 : Wellington, New Zealand)]
Estensione 1 online resource (xx, 730 p.)
Disciplina 005.1
Accesso persona Clark, Tony (College teacher)
Kühne, Thomas
Whittle, Jon, 1972-
ISBN 3642244858 (electronic bk.)
9783642244858 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-5399542
[MODELS 2011 (2011 : Wellington, New Zealand)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.).
Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.).
Creatore [International Workshop on Formal Methods for Industrial Critical Systems (24th : 2019 : Amsterdam, Netherlands)]
Estensione 1 online resource : illustrations (some color).
Disciplina 004.01/51
Accesso persona Larsen, K. G. (Kim G.), 1957- editor
Willemse, Tim, editor
Genere/Forma Conference papers and proceedings
ISBN 9783030270087
3030270084
9783030270070
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-8794458
[International Workshop on Formal Methods for Industrial Critical Systems (24th : 2019 : Amsterdam, Netherlands)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Software architecture : 13th European conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings / Tomas Bures, Laurence Duchien, Paola Inverardi (eds.).
Software architecture : 13th European conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings / Tomas Bures, Laurence Duchien, Paola Inverardi (eds.).
Creatore [ECSA (Conference) (13th : 2019 : Paris, France)]
Estensione 1 online resource : illustrations (some color).
Disciplina 005.1/2
Accesso persona Bures, Tomas, editor
Duchien, Laurence, editor
Inverardi, Paola, editor
Genere/Forma Conference papers and proceedings
ISBN 9783030299835
303029983X
9783030299828
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-8794694
[ECSA (Conference) (13th : 2019 : Paris, France)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings / Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis, Claudio Agostino Ardagna, Robert Meersman (eds.).
On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings / Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis, Claudio Agostino Ardagna, Robert Meersman (eds.).
Creatore [OTM Confederated International Conferences (18th : 2019 : Rhodes, Greece)]
Estensione 1 online resource (xxi, 760 pages) : illustrations (some color)
Disciplina 004.67/8
Accesso persona Panetto, Herve, editor
Debruyne, Christophe, editor
Hepp, Martin, editor
Lewis, Dave, editor
Ardagna, Claudio Agostino, editor
Meersman, R., editor
Accesso convegno International Conference on Cooperative Information Systems (2019 : Rhodes, Greece)
International Conference on Ontologies Databases and Applications of Semantics (2019 : Rhodes, Greece)
C&TC (Conference) (2019 : Rhodes, Greece)
Genere/Forma Conference papers and proceedings
ISBN 9783030332464
3030332462
9783030332457
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-8853925
[OTM Confederated International Conferences (18th : 2019 : Rhodes, Greece)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Service-oriented computing : ICSOC 2006, 4th international conference, Chicago, IL, USA, December 4-7, 2006 : workshops proceedings / Dimitrios Georgakopoulos [and others] (eds.).
Service-oriented computing : ICSOC 2006, 4th international conference, Chicago, IL, USA, December 4-7, 2006 : workshops proceedings / Dimitrios Georgakopoulos [and others] (eds.).
Creatore [ICSOC (Conference) (4th : 2006 : Chicago, Ill.)]
Estensione 1 online resource (xvi, 200 pages) : illustrations
Disciplina 004.6
Accesso persona Georgakopoulos, Dimitrios
Accesso convegno International Workshop on Engineering Service-Oriented Applications : Design and Composition (2nd : 2006 : Chicago, Ill.)
International Workshop on Modeling Service-Oriented Architectures : Business Perspective and Model Mapping (1st : 2006 : Chicago, Ill.)
Genere/Forma Conference papers and proceedings
ISBN 9783540754916
3540754911
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Second International Workshop on Engineering Service-Oriented Applications: Design and Composition -- First International Workshop on Modeling Service-Oriented Architectures: Business Perspective and Model Mapping.
Record Nr. UALBERTA-8876351
[ICSOC (Conference) (4th : 2006 : Chicago, Ill.)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.).
FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.).
Creatore [International Symposium of Formal Methods Europe (19th : 2014 : Singapore)]
Estensione 1 online resource (xviii, 750 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Jones, C. B. (Cliff B.), 1944- editor
Pihlajasaari, Pekka, editor
Sun, Jun, editor
ISBN 9783319064109
331906410X
3319064096
9783319064093
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering Considered Essential -- Engineering UToPiA: Formal Semantics for CML -- 40 Years of Formal Methods: Some Obstacles and Some Possibilities? -- A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes -- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs -- Knowledge-Based Automated Repair of Authentication Protocols -- A Simplified Z Semantics for Presentation Interaction Models -- Log Analysis for Data Protection Accountability -- Automatic Compositional Synthesis of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining and Verifying Relaxed Linearizability -- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol -- Contracts in Practice -- When Equivalence and Bisimulation Join Forces in Probabilistic Automata -- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System -- IscasMc: A Web-Based Probabilistic Model Checker -- Invariants, Well-Founded Statements and Real-Time Program Algebra -- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis -- A Symbolic Algorithm for the Analysis of Robust Timed Automata -- Revisiting Compatibility of Input-Output Modal Transition Systems -- Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier -- Management of Time Requirements in Component-Based Systems -- Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning -- Formal Verification of Operational Transformation -- Verification of a Transactional Memory Manager under Hardware Failures and Restarts -- SCJ: Memory-Safety Checking without Annotations -- Refactoring, Refinement and Reasoning: A Logical Characterization for Hybrid Systems -- Object Propositions -- Flexible Invariants through Semantic Collaboration -- Efficient Tight Field Bounds Computation Based on Shape Predicates -- A Graph-Based Transformation Reduction to Reach UPPAAL States Faster -- Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison -- Efficient Self-composition for Weakest Precondition Calculi -- Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections -- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic -- A Modular Theory of Object Orientation in Higher-Order UTP -- Formalizing and Verifying a Modern Build Language -- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification -- Formally Verifying Graphics FPU: An Intel® Experience -- MDP-Based Reliability Analysis of an Ambient Assisted Living System -- Diagnosing Industrial Business Processes: Early Experiences -- Formal Verification of Lunar Rover Control Software Using UPPAAL -- Formal Verification of a Descent Guidance Control Program of a Lunar Lander.
Record Nr. STANFORD-a10503490
[International Symposium of Formal Methods Europe (19th : 2014 : Singapore)]  
Materiale a stampa
Lo trovi qui: Stanford University
OpenSHMEM and related technologies : experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings / edited by Stephen Poole, Oscar Hernandez, Pavel Shamis
OpenSHMEM and related technologies : experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings / edited by Stephen Poole, Oscar Hernandez, Pavel Shamis
Creatore [OpenSHMEM (Workshop) (1st : 2014 : Annapolis, Md.)]
Estensione 1 online resource (x, 191 pages) : illustrations.
Disciplina 005.1
Accesso persona Poole, Stephen (Computer scientist), editor
Hernández, Oscar (Computer scientist), editor
Shamis, Pavel, editor
ISBN 9783319052151
3319052152
3319052144
9783319052144
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto OpenSHMEM Implementations and Evaluations -- Designing a High Performance OpenSHMEM Implementation Using Universal Common Communication Substrate as a Communication Middleware -- A Comprehensive Performance Evaluation of OpenSHMEM Libraries on InfiniBand Clusters -- Benchmarking Parallel Performance on Many-Core Processors -- Implementing OpenSHMEM Using MPI-3 One-Sided Communication -- Analyzing the Energy and Power Consumption of Remote Memory Accesses in the OpenSHMEM Model -- Applications -- Hybrid Programming Using OpenSHMEM and OpenACC -- Tools Towards Parallel Performance Analysis Tools for the OpenSHMEM Standard -- Profiling Non-numeric OpenSHMEM Applications with the TAU Performance System -- A Global View Programming Abstraction for Transitioning MPI Codes to PGAS Languages -- Extending the OpenSHMEM Analyzer to Perform Synchronization and Multi-valued Analysis -- OpenSHMEM Extensions and Future Directions OpenSHMEM Extensions and a Vision for Its Future Direction -- Reducing Synchronization Overhead Through Bundled Communication -- Thread-Safe SHMEM Extensions -- Implementing Split-Mode Barriers in OpenSHMEM.
Record Nr. STANFORD-a10503605
[OpenSHMEM (Workshop) (1st : 2014 : Annapolis, Md.)]  
Materiale a stampa
Lo trovi qui: Stanford University
Software engineering [electronic resource] : international summer schools, ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures / Andrea De Lucia, Filomena Ferrucci (eds.).
Software engineering [electronic resource] : international summer schools, ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures / Andrea De Lucia, Filomena Ferrucci (eds.).
Estensione viii, 256 p. : ill. ; 24 cm.
Disciplina 005.1
Accesso persona De Lucia, Andrea
Ferrucci, Filomena
Accesso convegno ISSSE (Summer School) (2006 : Salerno, Italy)
ISSSE (Summer School) (2007 : Salerno, Italy)
ISSSE (Summer School) (2008 : Salerno, Italy)
ISBN 9783540958888
3540958886
9783540958871
3540958878
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a7863991
Risorse elettroniche
Lo trovi qui: Stanford University
Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007 : revised selected papers / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.).
Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007 : revised selected papers / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.).
Creatore [IFIP TC 2 Central and East European Conference on Software Engineering Techniques (2nd : 2007 Poznań, Poland)]
Estensione 1 online resource (xi, 303 pages) : illustrations.
Disciplina 005.1
Accesso persona Meyer, Bertrand, 1950-
Nawrocki, Jerzy R.
Walter, Bartosz
ISBN 9783540852797
3540852794
3540852786
9783540852780
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynotes -- Agile Software Development at Scale -- Formalisms in Software Engineering: Myths Versus Empirical Facts -- Measurement -- Extending GQM by Argument Structures -- On Metamodel-Based Design of Software Metrics -- Automatic Transactions Identification in Use Cases -- Processes -- A Collaborative Method for Reuse Potential Assessment in Reengineering-Based Product Line Adoption -- Corporate-, Agile- and Open Source Software Development: A Witch's Brew or An Elixir of Life? -- Capable Leader and Skilled and Motivated Team Practices to Introduce eXtreme Programming -- UML -- Platform-Independent Programming of Data-Intensive Applications Using UML -- Towards UML-Intensive Framework for Model-Driven Development -- UML Static Models in Formal Approach -- Experiments -- Does Test-Driven Development Improve the Program Code? Alarming Results from a Comparative Case Study -- Measuring the Human Factor with the Rasch Model -- Empirical Analysis of a Distributed Software Development Project -- Tools -- Extending Software Architecting Processes with Decision-Making Activities -- A Tool for Supporting Feature-Driven Development -- In-Time Role-Specific Notification as Formal Means to Balance Agile Practices in Global Software Development Settings -- Best Papers Session -- An Integrated Approach for Identifying Relevant Factors Influencing Software Development Productivity -- A Framework for QoS Contract Negotiation in Component-Based Applications -- A Case Study on the Impact of Refactoring on Quality and Productivity in an Agile Team -- Change -- Modeling of Requirements Tracing -- Support for Cooperative Design of End-User Tailorable Software -- Manifoldness of Variability Modeling -- Considering the Potential for Further Integration.
Record Nr. STANFORD-a9107369
[IFIP TC 2 Central and East European Conference on Software Engineering Techniques (2nd : 2007 Poznań, Poland)]  
Materiale a stampa
Lo trovi qui: Stanford University
Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle on Tyne, UK, September 22-25, 2008 : proceedings / Michael D. Harrison, Mark-Alexander Sujan (eds.).
Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle on Tyne, UK, September 22-25, 2008 : proceedings / Michael D. Harrison, Mark-Alexander Sujan (eds.).
Creatore [SAFECOMP (Conference) (27th : 2008 : Newcastle on Tyne, Great Britain)]
Estensione 1 online resource (xiv, 456 pages) : illustrations.
Disciplina 005.1
Accesso persona Harrison, M. D. (Michael D.)
Sujan, Mark-Alexander
ISBN 9783540876984
3540876987
9783540876977
Classificazione TP309-532
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk -- Panel: Complexity and Resilience -- Software Dependability -- The Effectiveness of T-Way Test Data Generation -- Towards Agile Engineering of High-Integrity Systems -- SafeSpection -- A Systematic Customization Approach for Software Hazard Identification -- Integrating Safety Analyses and Component-Based Design -- Modelling Support for Design of Safety-Critical Automotive Embedded Systems -- Resilience -- Resilience in the Aviation System -- Resilience Markers for Safer Systems and Organisations -- Modeling and Analyzing Disaster Recovery Plans as Business Processes -- Fault Tolerance -- Analysis of Nested CRC with Additional Net Data in Communication -- Symbolic Reliability Analysis of Self-healing Networked Embedded Systems -- Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers -- Security -- Secure Interaction Models for the HealthAgents System -- Security Challenges in Adaptive e-Health Processes -- An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest -- Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security Threats to Automotive CAN Networks -- Practical Examples and Selected Short-Term Countermeasures -- Safety Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information -- Applying Safety Goals to a New Intensive Care Workstation System -- Safety Assurance Strategies for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal Methods -- Formal Verification by Reverse Synthesis -- Deriving Safety Software Requirements from an AltaRica System Model -- Model-Based Implementation of Real-Time Systems -- Early Prototyping of Wireless Sensor Network Algorithms in PVS -- Dependability Modelling -- Analyzing Fault Susceptibility of ABS Microcontroller -- A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems -- The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects -- Security and Dependability -- A Context-Aware Mandatory Access Control Model for Multilevel Security Environments -- Formal Security Analysis of Electronic Software Distribution Systems -- The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling -- Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems.
Record Nr. STANFORD-a9107593
[SAFECOMP (Conference) (27th : 2008 : Newcastle on Tyne, Great Britain)]  
Materiale a stampa
Lo trovi qui: Stanford University