Frameworks: The Future of Formal Software Development?

Computer Standards and Interfaces - Netherlands
doi 10.1016/s0920-5489(98)00024-5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Is Open Source Software the Future of Software Development?

International Journal of Business, Humanities and Technology
2020English

Composition by Colimit and Formal Software Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Formal Aspects of Component Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Using Simulation Games in Teaching Formal Methods for Software Development

Advances in Higher Education and Professional Development
English

Practical Formal Software Engineering

2009English

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

A Formal Model of the Software Test Process

IEEE Transactions on Software Engineering
Software
2002English

Implementation of Education for Sustainable Development Principles in the Training of Future Software Engineers

E3S Web of Conferences
EarthEnergyPlanetary SciencesEnvironmental Science
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy