Rezension'Dieses Werk bietet eine hervorragende Plattform zum direkten Einstieg in die Programmie...

InhaltsangabePart I. Prologue.- Introduction.- Part II. Generalizing Proofs-as-Programs.- Functio...

InhaltsangabeTwo metamodels for application system development conventional vs. object-oriented a...

InhaltsangabeTwo industrial trials of formal specification.- Industrial applications of ASF+SDF.-...

Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supp...

To identify the emergent trends in software-intensive and distributed and decentralized computer ...

This volume contains the papers accepted for presentation atthe Fourth International Sympos...

This volume contains the papers from the workshop Radical Innovations of Software and Systems Eng...

Global computing refers to computation over global computers, i.e., com- tational infrastructures...

InhaltsangabeSENSORIA - Software Engineering for Service-Oriented OverlayComputers.- A Unifying F...

InhaltsangabePart I. Prologue.- Introduction.- Part II. Generalizing Proofs-as-Programs.- Functio...