AN ANALYSIS OF SOME ASPECTS OF COMPONENT-BASED PROGRAMMING FOR SELECTING APPROPRIATE CATEGORICAL STRUCTURES AS THEIR MODELS

AN ANALYSIS OF SOME ASPECTS OF COMPONENT-BASED PROGRAMMING FOR SELECTING APPROPRIATE CATEGORICAL STRUCTURES AS THEIR MODELS

Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary for those who are working with theoretical b...

Full description

Bibliographic Details
Main Authors: William STEINGARTNER, Davorka RADAKOVIC, Valerie NOVITZKA, Mohamed Ali M. ELDOJALI
Format: Article
Language:English
Published: Technical University of Kosice 2017-06-01
Series:Acta Electrotechnica et Informatica
Subjects:
category theory
component
contract
designs
interface
interactions
software
Online Access:http://www.aei.tuke.sk/papers/2017/2/01_Steingartner.pdf

Similar Items

Similar Items