Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Demissie B. Aredo"'
Autor:
Issa Traore, Demissie B. Aredo
Publikováno v:
IEEE Transactions on Software Engineering. 30:736-753
We propose a development framework that extends the scope of structured review by supplementing the structured review with model-based verification. The proposed approach uses the Unified Modeling Language (UML) as a modeling notation. We discuss a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b2e1a873ab70ada9b75f319f1dffc29
https://doi.org/10.1109/tse.2004.86
https://doi.org/10.1109/tse.2004.86
Publikováno v:
SAC
This paper contributes to the discussion on issues related to the formal development of open distributed systems (ODSs). Deficiencies of traditional formal notations in this setting are highlighted. We argue that there is no single formalism exhibiti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99d6b8997d9a8bf5833c7ab30034676d
https://doi.org/10.1016/j.infsof.2003.09.012
https://doi.org/10.1016/j.infsof.2003.09.012
Publikováno v:
APSEC
Scopus-Elsevier
Scopus-Elsevier
Convenience in specification and possibility for formal analysis are, to some extent, exclusive aspects of system specification. This paper describes an approach that emphasizes both aspects, by combining UML with a language for observable behavior o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71763fedae47800e93835ceceb83c625
https://doi.org/10.1109/apsec.2001.991465
https://doi.org/10.1109/apsec.2001.991465
Autor:
Demissie B. Aredo, Olaf Owe
Publikováno v:
ITCC (2)
In this paper, we present a framework that integrates the semi-formal modeling language, namely UML, with the formal method, namely PVS, to exploit their synergy in the development of dependable systems. System descriptions are given in UML notations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c62371c60d33df6f366f343a860fb777
https://doi.org/10.1109/itcc.2005.203
https://doi.org/10.1109/itcc.2005.203
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540233077
UML
UML
We present an approach that integrates a language for precise and high-level specification of application security requirements, the Security Requirement Language (SRL), with an existing modeling technique, namely, the Unified Modeling Language (UML)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0520f885df64f2e3179dcb4ccddd8016
https://doi.org/10.1007/978-3-540-30187-5_25
https://doi.org/10.1007/978-3-540-30187-5_25
Autor:
Demissie B. Aredo
Publikováno v:
JUCS-Journal of Universal Computer Science 8(7): 674-697
This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics of UML sequence diagrams is encoded into the Prototype Verification Sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7c9ce60052d1f88dd7c9093f5373fa4
https://zenodo.org/record/6996201
https://zenodo.org/record/6996201
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540437031
IFM
IFM
A specification of a software system involves several aspects. Two essential aspects are convenience in specification and possibility for formal analysis. These aspects are, to some extent, exclusive. This paper describes an approach to the specifica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40405acb88ad0ed5e63c914aa398e814
https://doi.org/10.1007/3-540-47884-1_18
https://doi.org/10.1007/3-540-47884-1_18
Publikováno v:
Scopus-Elsevier
HCC
HCC
Convenience in specification and possibility for formal analysis are important aspects in the specification of software systems. An approach that combines UML and OUN (specification languages), is proposed for such a purpose. The approach is demonstr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef5f12c07b9c4afdea62b6be97caeca1
http://www.scopus.com/inward/record.url?eid=2-s2.0-0035791150&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-0035791150&partnerID=MN8TOARS