CC
2007
Springer
14 years 1 months ago
2007
Springer
CC
2007
Springer
14 years 1 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
VL
2007
IEEE
14 years 1 months ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...
HASE
2007
IEEE
14 years 2 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
0
posts
with
0
views
0
views
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE