Formal Aspects of Component Software

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-07602-7
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

Springer International Publishing

Related search

Practical Formal Software Engineering

2009English

Formal Aspects of Phonological Description

1972English

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Component-Based Formal Modeling of PLC Systems

Journal of Applied Mathematics
Applied Mathematics
2013English

Component Selection for Component Based Software Engineering

International Journal of Computer Applications
2010English

Component-Based Software Engineering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Frameworks: The Future of Formal Software Development?

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1998English

Component-Based Software Engineering

2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy