Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository

Explore open access research and scholarly works from DCU

Advanced Search

Mapping USE specifications into Spec#

Thangaraj, Jagadeeswaran orcid logoORCID: 0000-0002-2721-0898 and Ulaganathan, Senthilkumaran (2018) Mapping USE specifications into Spec#. In: STAF 2017: Software Technologies: Applications and Foundations, 17-21 Aug 2017, Marburg, Germany. ISBN 978-3-319-74729-3

Abstract
The UML model is easy to describe the object oriented program components clearly in graphical notation. OCL allows users to express textual constraints about the UML model. The USE tool allows specification to be expressed in a textual format for all features of the UML model with OCL constraints. Spec# is a formal language, which extends C# with constructs for non-null types, preconditions, post conditions, and object invariants. It allows programmers to document their design decisions in the code. Spec# has run time verifier to verify the specification constraints over the C# code. This paper describes the mapping of USE specifications into Spec# which helps to improve the quality of both UML/OCL and Spec#.
Metadata
Item Type:Conference or Workshop Item (Paper)
Event Type:Conference
Refereed:Yes
Uncontrolled Keywords:USE; UML; OCL; Spec#
Subjects:Computer Science > Computer engineering
Computer Science > Computer simulation
Computer Science > Computer software
Computer Science > Information technology
Computer Science > Software engineering
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Published in: Software Technologies: Applications and Foundations: Conference proceedings. Lecture Notes in Computer Science (LNCS) 10748. Springer, Cham. ISBN 978-3-319-74729-3
Publisher:Springer, Cham
Official URL:https://doi.org/10.1007/978-3-319-74730-9_29
Copyright Information:© 2018 Springer
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:27073
Deposited On:16 May 2022 14:32 by Jagadeeswaran Thangaraj . Last Modified 31 May 2022 10:12
Documents

Full text available as:

[thumbnail of 0cl.pdf]
Preview
 PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
182kB
Downloads

Downloads

Downloads per month over past year

Archive Staff Only: edit this record