Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Paul C. Grabow"'
Publikováno v:
JUCS-Journal of Universal Computer Science 16(17): 2435-2454
There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) tool supports verification of invariants, preconditions, and postconditio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f82de142d3c15afb87da6a4741dc3635
https://zenodo.org/record/7001397
https://zenodo.org/record/7001397
Publikováno v:
SAC
A key problem in software development is producing systems that are maintainable even as the concerns at play evolve. Aspect-oriented programming (AOP) seeks to foster maintainability by isolating the specifications of cross-cutting concerns, allowin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9afb7fda5a1581498b61164b61e24d72
https://doi.org/10.1145/1529282.1529386
https://doi.org/10.1145/1529282.1529386
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642049460
ER Workshops
ER Workshops
The UML-based Specification Environment (USE) tool supports syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/post conditions specified in the Object Constraint Language (OCL). Due to its animation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16d7855bc4be67fb71d6460edb522b32
https://doi.org/10.1007/978-3-642-04947-7_18
https://doi.org/10.1007/978-3-642-04947-7_18
Autor:
Paul C. Grabow
Publikováno v:
Ethics in Computer Age
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::477b001889b777b9277af9307521f9cd
https://doi.org/10.1145/199544.199566
https://doi.org/10.1145/199544.199566
Autor:
Arun Premchand Gupta, Paul C. Grabow
Publikováno v:
TRI-Ada
This paper describes the Onion development methodology for building data-dominant systems, i.e., systems where the primary concern is the integrity of the data store. Onion shows how to identify, specify, and implement a hierarchy of abstract data ty
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c86e3513a9d1011316efc1b382298719
https://doi.org/10.1145/197694.197737
https://doi.org/10.1145/197694.197737
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.