Composition by Colimit and Formal Software Development

Lecture Notes in Computer Science- Germany

doi 10.1007/11780274_17

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Frameworks: The Future of Formal Software Development?

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1998English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Using Simulation Games in Teaching Formal Methods for Software Development

Advances in Higher Education and Professional Development
English

Practical Formal Software Engineering

2009English

Formal Aspects of Component Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Design Patterns Formal Composition and Analysis

International Journal of Information Technologies and Systems Approach
Computer Science
2019English

New Component Composition Metrics for Component Based Software Development

International Journal of Computer Applications
2012English

Balancing the Personality of Programmer: Software Development Team Composition

Malaysian Journal of Computer Science
Computer Science
2016English

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy