close
1.

電子ブック

EB
edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9300
オンライン: http://dx.doi.org/10.1007/978-3-319-23534-9
2.

電子ブック

EB
edited by Ezio Bartocci, Rupak Majumdar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9333
オンライン: http://dx.doi.org/10.1007/978-3-319-23820-3
目次情報: 続きを見る
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
Explaining Heisenbugs
Regular Papers
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
Runtime Adaptation for Actor Systems
Robust Online Monitoring of Signal Temporal Logic
On Verifying The Hennessy-Milner Logic with Recursion at Runtime
Assuring the Guardians
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Monitoring Electronic Exams
Monitoring Real Android Malware
Time-triggered Runtime Verification of Component-Based Multi-core Systems
Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment
From First-Order Temporal Logic to Parametric Trace Slicing
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
A Hybrid Approach to Causality Analysis
Short Papers
Statistical Model Checking of Distributed Adaptive Real-Time Software
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
Runtime Verification for Hybrid Analysis Tools
Suggesting Edits to Explain Failing Traces
Tool Papers
StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java
TIPEX: a tool chain for Timed Property Enforcement during eXecution
Tutorial Papers
Machine Learning Methods in Statistical Model Checking and System Design ? Tutorial
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
LearnLib Tutorial - An Open Source Java Library for Active Automata Learning
Monitoring and Measuring Hybrid Behaviors - A Tutorial
Software Competitions
Second International Competition on Runtime Verification CRV 2015
Rigorous Examination of Reactive Systems: The RERS challenge 2015
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
3.

電子ブック

EB
edited by Shigeru Chiba, Eric Tanter, Erik Ernst, Robert Hirschfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8989
オンライン: http://dx.doi.org/10.1007/978-3-662-46734-3
目次情報: 続きを見る
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective
Propagation of Behavioral Variations with Delegation Proxies
Co-change Clusters: Extraction and Application on Assessing Software Modularity
Reusable Components of Semantic Specifications
Probabilistic Model Checking for Feature-Oriented Systems
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective
Propagation of Behavioral Variations with Delegation Proxies
Co-change Clusters: Extraction and Application on Assessing Software Modularity
4.

電子ブック

EB
by Gennadiy Nikishkov
出版情報: London : Springer London, 2010
オンライン: http://dx.doi.org/10.1007/978-1-84882-972-5
目次情報: 続きを見る
Finite Element Formulation
Finite Element Equations for Heat Transfer
FEM for Solid Mechanics Problems
Finite Element Program
Finite Element Solution
Finite Element Processor
Finite Element Model
Elastic Material
Elements
Numerical Integration
Two-dimensional Isoparametric Elements
Implementation of Two-dimensional Quadratic Element
Three-dimensional Isoparametric Elements
Implementation of Three-dimensional Quadratic Element
Assembly and Solution
Direct Equation Solver
Iterative Equation Solver
Load Data and Load Vector Assembly
Stress Increment, Residual Vector and Results
Elastic?Plastic Problems
Mesh Generation
Mesh Generator
Two-dimensional Mesh Generators
Generation of Three-dimensional Meshes by Sweeping
Pasting Mesh Blocks
Mesh Transformations
Copying, Writing and Reading Mesh Blocks
Visualization of Meshes and Results
to Java 3D?
Visualizer
Visualization Scene Graph
Surface Geometry
Edge and Face Subdivision
Surface Subdivision
Results Field, Color Scale, Interaction and Lights
Finite Element Formulation
Finite Element Equations for Heat Transfer
FEM for Solid Mechanics Problems
5.

電子ブック

EB
edited by Mehdi Dastani, Marjan Sirjani
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9392
オンライン: http://dx.doi.org/10.1007/978-3-319-24644-4
目次情報: 続きを見る
Towards Smart Systems of Systems
Automated Integration of Service-oriented Software Systems
Software Architecture Modeling and Evaluation Based on Stochastic
Applicative Bisimulation and Quantum Lambda-Calculi
A Theory of Integrating Tamper Evidence with Stabilization
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems
Benchmarks for Parity Games
A behavioral theory for a pi-calculus with preorders
Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity
Analyzing Mutable Checkpointing
High Performance Computing Applications using Parallel Data Processing Units
Improved Iterative Methods for Verifying Markov Decision Processes
A Pre-congruence Format for XY-simulation
Tooled Process for Early Validation of SysML Models using Modelica Simulation
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Painless support for static and runtime verification of component-based Applications
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines
An Interval-Based Approach to Modelling Time in Event-B
From Event-B Models to Dafny Code Contracts
Towards Smart Systems of Systems
Automated Integration of Service-oriented Software Systems
Software Architecture Modeling and Evaluation Based on Stochastic
6.

電子ブック

EB
edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9318
オンライン: http://dx.doi.org/10.1007/978-3-319-26184-3
目次情報: 続きを見る
Programming frameworks
Languages, models and abstractions for MAS
Formal methods and declarative technologies for specification, verification and engineering of MAS
MAS software engineering methodologies and techniques, and development concerns
Interoperability and integration
Tools and testbeds
MAS techniques
Empirical studies and (industrial) experience reports
Programming frameworks
Languages, models and abstractions for MAS
Formal methods and declarative technologies for specification, verification and engineering of MAS
7.

電子ブック

EB
by Suad Alagi?
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
オンライン: http://dx.doi.org/10.1007/978-3-319-20442-0
目次情報: 続きを見る
Typed Objects
Assertions
Virtual Platform
Type Systems
Concurrent Models
Object Databases
Types and Constraints
Typed Objects
Assertions
Virtual Platform
8.

電子ブック

EB
by Johannes Brauer
出版情報: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015
オンライン: http://dx.doi.org/10.1007/978-3-658-06823-3
9.

電子ブック

EB
edited by Jurriaan Hage, Jay McCarthy
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8843
オンライン: http://dx.doi.org/10.1007/978-3-319-14675-1
目次情報: 続きを見る
Balancing Shared and Distributed Heaps on NUMA Architectures
Resource-Dependent Algebraic Effects
Call Arity
Graph Problems and Vector-Matrix Multiplications in Haskell
A Functional Approach to Sex: Reproduction in the Creatur Framework
Type Generic Observing
Refactorings to Enable Parallelization
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks
Balancing Shared and Distributed Heaps on NUMA Architectures
Resource-Dependent Algebraic Effects
Call Arity
10.

電子ブック

EB
edited by Viktoria Zsok, Zoltan Horvath, Lehel Csato
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8606
オンライン: http://dx.doi.org/10.1007/978-3-319-15940-9
目次情報: 続きを見る
Functional Programming for Domain-Specific Languages
DSL in C++ Template Metaprogram
The Idris Programming Language
An Introduction to Task Oriented Programming
Spreadsheet Engineering
The EDSL's struggle for their sources
Zipper-based Modular and Deforested Computations
Tasklets: Client-side evaluation for iTask3
Functional Programming for Domain-Specific Languages
DSL in C++ Template Metaprogram
The Idris Programming Language