Titlebook: Recent Trends in Algebraic Development Techniques; 16th International W Martin Wirsing,Dirk Pattinson,Rolf Hennicker Conference proceedings

crescendo

压倒

0302-9743 Overview: Includes supplementary material: 978-3-540-20537-1978-3-540-40020-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

独裁政府

AGILE: Software Architecture for Mobilityl framework based on graph-oriented techniques that support sound methodological principles, formal analysis, and refinement. This paper describes the AGILE project and some of the results gained during the first project year.

比喻好

并入

Felicitous

dominant

MultiMedia Instruction in Safe and Secure Systemsculum in the area of Safe and Secure Systems. Traditional teaching materials (slides, handouts, annotated course material, assignments, and so on) are to be converted into a new hypermedia format, integrated with tool interactions for formally developing correct software; they will be suitable for l

anagen

Type Checking Parametrised Programs and Specifications in ASL + FPCulus. ASL+ has an institution-independent semantics, which leaves the underlying programming language and specification logic unspecified. To complete the definition, and in particular, to study the type checking problem for ASL+, the language ASL+. was conceived. It is a modified version of ASL+ fo

生气的边缘

STALE