1054 search results - page 94 / 211 » Translation Validation of System Abstractions |
171
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
147
click to vote
APN
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
189
click to vote
LOBJET
2000
15 years 6 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
289
click to vote
TSE
2010
15 years 29 days ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...