Extending development graphs with hiding

DOI10.1007/3-540-45314-8_20MaRDI QIDQ2764131zbMATH OpenFDO

Authors Till Mossakowski, Serge Autexier, Dieter Hutter

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2029/20290269

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) General topics in artificial intelligence (68T01) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• Development graphs -- proof management for structured specifications
• Heterogeneous development graphs and heterogeneous borrowing
• Change management for heterogeneous development graphs
• Towards an evolutionary formal software-development using CASL
• Development of Correct Graph Transformation Systems

Cited in

(6)

• Amalgamation in the semantics of CASL
• Development graphs -- proof management for structured specifications
• Change management for heterogeneous development graphs
• Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
• Heterogeneous development graphs and heterogeneous borrowing
• Computer supported mathematics with MEGA

Describes a project that uses

Uses Software

• CASL

This page was built for publication: Extending development graphs with hiding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2764131)