Tool support for component-based semantics

8 years 27 days ago

Download icetcs.ru.is

The PLanCompS project has developed a component-based approach to formal semantics. Here, we present the tools we have implemented to support component-based language deﬁnitions, including semantics-based program execution. The talk includes a demonstration of the use of the tools.

L. Thomas van Binsbergen, Neil Sculthorpe, Peter D

Real-time Traffic

AOSD 2016 | Software Engineering |

claim paper

» Supporting Tools for DesigningByContract in ComponentBased Applications

» Tool Support for Incremental Failure Mode and Effects Analysis of ComponentBased Systems

» Proposal for Tools Supporting Component Based Programming

» Architecture Based Deployment of LargeScale Component Based Systems The Tool and Principle...

» CBSPE Tool Putting ComponentBased Performance Engineering into Practice

» ComponentBased Applications A Dynamic Reconfiguration Approach with Fault Tolerance Suppor...

» Supporting Compositional Reuse in ComponentBased Web Engineering

» A Framework for Interactive Visualization of ComponentBased Software

» FaultTolerance for ComponentBased Systems An Automated Middleware Specialization Approach

Post Info
More Details (n/a)

Added	29 Mar 2016
Updated	29 Mar 2016
Type	Journal
Year	2016
Where	AOSD
Authors	L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses

Comments (0)

Sciweavers

Tool support for component-based semantics

AOSD 2016 | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers