FMCO
2006
Springer
14 years 4 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
FMCO
2006
Springer
14 years 4 months ago
2006
Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
FMCO
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
FMCO
2006
Springer
14 years 4 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
FMCO
2006
Springer
14 years 4 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
FMCO
2006
Springer
14 years 4 months ago
2006
Springer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
FMCO
2006
Springer
14 years 4 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
FMCAD
2006
Springer
14 years 4 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
FMCAD
2006
Springer
14 years 4 months ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
FMCAD
2006
Springer
14 years 4 months ago
2006
Springer