Orthographic software modeling: A practical approach to view-based development

DOI10.1007/978-3-642-14819-4_15MaRDI QIDQ3058794zbMATH OpenOpenAlexWikidataFDO

Authors Colin Atkinson, Philipp Bostan

Publication date 7 December 2010

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14819-4_15

zbMATH Keywords

software engineering

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Object organisation in software environments for formal methods
• Ontological modeling for software application development
• Odyssey-SCM: An integrated software configuration management infrastructure for UML models
• Model-driven architecture for embedded software: A synopsis and an example
• Formal Methods for Components and Objects

Cites work

• Object-oriented modeling with ADORA

Cited in

(4)

• Ontological modeling for software application development
• Comprehensive systems: a formal foundation for multi-model consistency management
• Providing multiple views for objects
• Towards multiple model synchronization with comprehensive systems

Describes a project that uses

Uses Software

• ADORA

This page was built for publication: Orthographic software modeling: A practical approach to view-based development

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