Código QR (código de barras bidimensional)

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...

Fuld beskrivelse

Na minha lista:
Principais autores: William STEINGARTNER, Davorka RADAKOVIC, Valerie NOVITZKA, Mohamed Ali M. ELDOJALI
Format: Artigo
Sprog:Inglês
Udgivet: Sciendo 2017-06-01
Serier:Acta Electrotechnica et Informatica
Fag:
category theory
component
contract
designs
interface
interactions
software
Online adgang:http://www.aei.tuke.sk/papers/2017/2/01_Steingartner.pdf
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker