scientific article; zbMATH DE number 2085188
From MaRDI portal
Publication:4736414
zbMath1042.68757MaRDI QIDQ4736414
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2263/22630213.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)
Related Items
Theorem proving graph grammars with attributes and negative application conditions ⋮ Views on Behaviour Protocols and Their Semantic Foundation ⋮ A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures ⋮ Service refinement ⋮ jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
This page was built for publication:
