Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Anthony Bloesch"'
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. :599-617
Cogito 1 is the first iteration of a Z-based integrated methodology and support system for formal software development. This paper gives an overview of the Cogito methodology and associated tools. Particular emphasis is placed on the way in which Cog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b7f0fa8b41ce481c9819e170538d313
https://doi.org/10.1142/s0218194095000290
https://doi.org/10.1142/s0218194095000290
Autor:
Anthony Bloesch
Publikováno v:
Software: Practice and Experience. 23:817-827
Research on the aesthetic layout of trees has been largely concerned with the special case of binary trees with small constant‐sized nodes. Yet, without otherwise requiring the power of general graph‐layout algorithms, many layout problems involv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38ee82e75603af29b7a1d855aa81906b
https://doi.org/10.1002/spe.4380230802
https://doi.org/10.1002/spe.4380230802
Publikováno v:
APSEC
Cogito I is the first iteration of a Z-based integrated development methodology and support system for formal software development. This paper gives an overview of the Cogito methodology and associated tools. Particular emphasis is placed on the way
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::126fda0caba17170588c388817afa19c
https://doi.org/10.1109/apsec.1994.465245
https://doi.org/10.1109/apsec.1994.465245