Filters








21 Hits in 5.5 sec

Formal Methods in Requirements Phase of SDLC

S. K.Pandey, Mona Batra
2013 International Journal of Computer Applications  
The paper presents a brief discussion on various formal methods particularly Z-method, B-method, VDM, OBJ, Larch and Communicating Sequential Process etc. along with their strengths and weaknesses followed  ...  Literature reveals that formal methods can be applied at various points through the development process.  ...  Development Method (VDM) is a formal language developed at the IBM laboratories in Vienna in the mid-1970s.  ... 
doi:10.5120/12020-8017 fatcat:jnock2ajcbcgddqwo5nksnijty

Page 2621 of Mathematical Reviews Vol. , Issue 85f [page]

1985 Mathematical Reviews  
ISBN 0-13-329003-4 From the preface: “The aim of this book is to provide a source document for both industrial application of, and for post-graduate courses on, the Vienna Development Method (VDM).  ...  General ideas, and in particular the meta-language, are covered in the three chapters of part I.  ... 

GARDEN—An integrated and evolving environment for ULSI/VLSI CAD applications

A. H. V. de Lima, R. C. B. Martins, R. Stern, L. M. F. Carneiro
1989 IBM Systems Journal  
Jones, Editors, The Vienna Devel- opment Method: The Meta Language, Volume 61 in Lecture Notes in Computer Science, Springer-Verlag, Berlin (1978). . Dines Bjgner and Cliff B.  ...  It also highlights the utilization of the Vienna Development Methodology (VDM) for the specification, design, implementation, and maintenance—in short, all of the software life cycle—of this CAD system  ... 
doi:10.1147/sj.284.0580 fatcat:fojg7ayfwndcfo3wme4e3gnvjy

Tools for specifying real-time systems

Giacomo Bucci, Maurizio Campanai, Paolo Nesi
1995 Real-time systems  
In this paper, the evolution and the state of the art of tools for real-time software specification is reported, by analyzing their development over the last 20 years.  ...  At present, tools have the potential for improving software quality as well as engineers' productivity. Many tools have grown out of languages and methodologies proposed in the early 1970s.  ...  Acknowledgments The authors want to thank CESVIT (High-Tech Agency, Italy) which allowed them to test most of the tools mentioned in this paper (StP of Interactive Development Environments, ARTIFEX of  ... 
doi:10.1007/bf01094341 fatcat:wmjlzjkegbb2bgi7twtlxffqnq

A survey of semantic description frameworks for programming languages

Yingzhou Zhang, Baowen Xu
2004 SIGPLAN notices  
Theoretical Method: the meta-language. LNCS 61, Berlin: Springer-Verlag, 1978.  ...  Section 3 gives the syntax of VDM (the Vienna Development Method) is an approach a simple imperative programming language While which for studying large computer software  ... 
doi:10.1145/981009.981013 fatcat:aq23dovoqvdgzdo5xz7vclcnoe

VDM Semantics of Programming Languages: Combinators and Monads [chapter]

Peter D. Mosses
Formal Methods and Hybrid Real-Time Systems  
VDM was developed in the early 1970s as a variant of denotational semantics.  ...  After recalling the main features of denotational semantics and the Scott-Strachey style, we examine the combinators of the VDM specification language, and relate them to monads, which were introduced  ...  Introduction The Vienna Development Method, VDM, is a major framework for the formal specification and rigorous development of software systems.  ... 
doi:10.1007/978-3-540-75221-9_23 dblp:conf/birthday/Mosses07 fatcat:h2m4ew4b55do3o3z6gzuha5oku

Co-modelling of Agricultural Robotic Systems [article]

Martin Peter Christiansen
2019 arXiv   pre-print
The co-models of the automated and robotic ground vehicles were created using the model-based development methodology, and they contribute to the future development support in this research domain.  ...  The results of this thesis are a model-based development methodology for automated and robotic ground-vehicles utilised for a number of research and development cases.  ...  The work presented here is partially supported by the  ... 
arXiv:1906.05111v1 fatcat:zujzved7ufgehmqqggkelayhom

Page 1 of University Computing : The Bulletin of the IUCC Vol. 5, Issue 1 [page]

University Computing : The Bulletin of the IUCC  
Stoy Formal Specification and Software Development The authors of this book for post-graduate courses and industrial applications collaborated in the use of Vienna Development Method (VDM) for formal specification  ...  Divided into three main sections, the text discusses general ideas and the meta-language, then the use of VDM on programming languages, and concludes with four chapters on other applications of general  ... 

The Contemporary Significance of Ibn Khaldun for Decolonial Sociology: Methodological and Theoretical Dimensions

Syed Farid Alatas
2020 تجسير  
The discussion revolves around what I refer to as the levels of scholarship on Ibn Khaldun, which range from the meta-theoretical to the empirical and applied.  ...  It is claimed that in order for Ibn Khaldun to be taken seriously by the major disciplines in the social sciences, more work of a meta-theoretical and theoretical nature on his writings needs to be done  ...  The development of a Khaldunian tradition within Western sociology (1963) (1964) (1965) (1966) (1967) (1968) (1969) (1970) (1971) (1972) (1973) (1974) (1975) (1976) (1977) (1978) (1979) (1980) (1981)  ... 
doi:10.29117/tis.2020.0025 fatcat:2p5skf2ckfed7f3bgzuvjwqgyq

Box structured information systems

H. D. Mills, R. C. Linger, A. R. Hevner
1987 IBM Systems Journal  
Jones, “The Vienna Development Method: The Meta-Language,” Springer-Verlag Lecture Notes in Com- puter Science 61, Springer-Verlag, New York (1978). . D.  ...  Data abstractions have proved useful in software engi- neering in several specific languages and systems, as in CLU,'? vDM,”°?! HDM,” Larch,” and object-ori- ented design.  ... 
doi:10.1147/sj.264.0395 fatcat:cuz5y5y6qfbg5axxeaqbfuvrei

On harnessing information models and ontologies for policy conflict analysis

Steven Davy, Brendan Jennings, John Strassner
2009 2009 IFIP/IEEE International Symposium on Integrated Network Management  
First, the notation used -the Vienna Development Methodology (VDM) notation (Bjorner and Jones, 1978) -is described.  ...  Formalisms The notation used throughout the thesis to describe formalisms is based on the VDM formal specication language (Bjorner and Jones, 1978) .  ... 
doi:10.1109/inm.2009.5188889 dblp:conf/im/DavyJS09 fatcat:ga4r3yt6inasbjt4qgabwls7tm

The automatic assessment of Z specifications

Eric Foxley, Omar Salman, Zarina Shukur
1997 The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings - ITiCSE-WGR '97  
We conclude that this system can provide a very useful aid for teachers of the Z Specification language.  ...  By considering the issues and the techniques, we describe how they can be used to build a system that is able to give a quality grade to a specification that is written in the Z language.  ...  The Z specification language There are many types of formal specification that can be employed, including VDM, Z and the B method. The Z specification language is studied in this thesis.  ... 
doi:10.1145/266057.266141 dblp:conf/iticse/FoxleySS97 fatcat:fvkw4skxnrgp7oloiqtygof27y

Semantic Domains and Denotational Semantics

Carl A. Gunter, Peter D. Mosses, Dana S. Scott
1989 DAIMI Report Series  
<p>Denotational Semantics is a framework for the formal description of programming language semantics.  ...  The main idea of Denotational Semantics is that each phrase of the described language is given a denotation: a mathematical object that represents the contribution of the phrase to the meaning of any program  ...  Development The development of Denotational Semantics began with the paper "Towards a Formal Semantics" [52], written by Christopher Strachey in 1964 for the IFIP Working Conference on Formal Language  ... 
doi:10.7146/dpb.v18i276.7630 fatcat:i27j4middfapxjlvuuiyjwf4ma

Make formal semantics easy and useful * †

Bull, Nov
2011 Comp. Center, Comp. Science   unpublished
We hope that our approach will help better education to bridge a cultural gap between Formal Methods theories and Software Engineering practice.  ...  It is based upon a toy language with "exoteric" operational, denotational and axiomatic semantics.  ...  called Vienna Development Method (VDM), one of the longest-established Formal Methods.  ... 
fatcat:ytmvmnrxrvbmpdajgcy3cofw4i

A New Approach to Network Decomposition Problems [chapter]

Alexander Rubchinsky
2017 Springer Proceedings in Mathematics & Statistics  
Thus, this series provides the research community with well-edited, authoritative reports on developments in the most exciting areas of mathematical and statistical research today.  ...  In addition to an overall evaluation of the interest, scientific quality, and timeliness of each proposal at the hands of the publisher, individual contributions are all refereed to the high quality standards  ...  Acknowledgements This research was supported by the Russian Science Foundation, project No 16-11-10150 Novel efficient methods and software tools for time-consuming decision-making problems using supercomputers  ... 
doi:10.1007/978-3-319-56829-4_10 fatcat:oll4dy6vcjhlta2j65qpf4tnra
« Previous Showing results 1 — 15 out of 21 results