Search results for "VDM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Mei Wai Au, Chan H. Lee	Integrating Use of VDM and Z.	Software Engineering Education	1993	DBLP BibTeX RDF
19	Regine Laleau, Philippe Facon	Modeling Semantic Data Concepts with VDM.	SEKE	1993	DBLP BibTeX RDF
19	Amarit Laorakpong, Motoshi Saeki	Object-Oriented Formal Specification Development using VDM.	ISOTAS	1993	DBLP DOI BibTeX RDF
19	Peter Gorm Larsen	Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
19	John S. Fitzgerald, R. Moore	Experiences in Developing a Proof Theory for VDM Specifications.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
19	Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund	Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS.	Future Gener. Comput. Syst.	1992	DBLP DOI BibTeX RDF
19	Ian J. Hayes	VDM and Z: A Comparative Case Study.	Formal Aspects Comput.	1992	DBLP DOI BibTeX RDF
19	Cornelis A. Middelburg	Modular Structuring of VDM Specifications in VVSL.	Formal Aspects Comput.	1992	DBLP DOI BibTeX RDF
19	G. O'Neill	Automatic Translation of VDM Specifications into Standard ML Programs (Short Note).	Comput. J.	1992	DBLP DOI BibTeX RDF
19	Lynn S. Marshall, Linda Simon	Using VDM Within an Object-Oriented Framework.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
19	Morten Elvang-Gøransson	Classification of Refinements in VDM.	Refine	1992	DBLP DOI BibTeX RDF
19	Lynn S. Marshall, Linda Simon	Using VDM to specify managed object relationships.	FORTE	1992	DBLP BibTeX RDF
19	Yves Ledru, Marie-Hélène Liégeois	Prototyping VDM specifications with KIDS.	KBSE	1992	DBLP DOI BibTeX RDF
19	J. D'Almeida, Ramesh Achuthan, Thiruvengadam Radhakrishnan, Vangalur S. Alagar	Transformation of a semi-formal specification to VDM.	KBSE	1992	DBLP DOI BibTeX RDF
19	Eugène Dürr, Jan van Katwijk	VDM++, A Formal Specification Language for OO Designs.	TOOLS (7)	1992	DBLP BibTeX RDF
19	Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens	An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.	Commun. ACM	1991	DBLP DOI BibTeX RDF
19	Clifford B. Jones	Systematic software development using VDM (2. ed.).		1991	RDF
19	Jeremy Dick, Jérôme Loubersac	Integrating Structured and Formal Methods: A Visual Approach to VDM.	ESEC	1991	DBLP DOI BibTeX RDF
19	Linda Simon, Lynn S. Marshall	Using VDM to Specify OSI Managed Objects.	FORTE	1991	DBLP BibTeX RDF
19	Yves Ledru	Developing reactive systems in a VDM framework.	IWSSD	1991	DBLP BibTeX RDF
19	Lindsay Groves	Book review: Software prototyping, formal methods and VDM by Sharam Hekmatpour and Darrel Ince (Addison-Wesley, 1988).	ACM SIGCHI Bull.	1990	DBLP DOI BibTeX RDF
19	Yves Ledru, Pierre-Yves Schobbens	Applying VDM to large developments.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
19	Christine Lafontaine	Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
19	Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens	An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.	ICSE	1990	DBLP BibTeX RDF
19	Cornelis A. Middelburg	VVSL: A Language for Structured VDM Specifications.	Formal Aspects Comput.	1989	DBLP DOI BibTeX RDF
19	Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear	Towards a Formal Semantics of the BS/VDM Specification Language.	IFIP Congress	1989	DBLP BibTeX RDF
19	Leila Ribeiro 0001, Daltro José Nunes	Especificação de um Programa de Matrículas Utilizando VDM.	SBES	1989	DBLP DOI BibTeX RDF
19	Paulo Henrique Monteiro Borba, Silvio Romero de Lemos Meira	Protótipos Funcionais a partir de Especificações Formais em VDM.	SBES	1989	DBLP DOI BibTeX RDF
19	Dines Bjørner	Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM.	Formal Description of Programming Concepts	1989	DBLP BibTeX RDF
19	P. F. Gibbins	VDM: Axiomatising its Propositional Logic.	Comput. J.	1988	DBLP DOI BibTeX RDF
19	Wolfgang Henhapl, Thomas Letschert	VDM - Vienna Development Method.	it Inf. Technol.	1987	DBLP DOI BibTeX RDF
19	Clifford B. Jones	Systematic software development using VDM.		1986	RDF
19	Ole N. Oest	VDM From Research to Practice (Invited Paper).	IFIP Congress	1986	DBLP BibTeX RDF
19	Peter Wegner	VDM From Research to Practice - Response.	IFIP Congress	1986	DBLP BibTeX RDF
19	Geert B. Clemmensen, Ole N. Oest	Formal Specification and Development of an Ada Compiler - A VDM Case Study.	ICSE	1984	DBLP BibTeX RDF
19	Uwe Schmidt 0002	Ein neuartiger, auf VDM basierender Codegenerator-Generator.		1983	RDF
19	Reinhard Völler	Entwicklung einer maschinenunabhängigen Zwischensprache und zugehöriger Übersetzeroberteile für ein Mehrsprachübersetzersystem mit Hilfe von VDM.		1983	RDF
19	Dines Bjørner	The VDM Principles of Software Specification and Program Design.	ICFPC	1981	DBLP DOI BibTeX RDF
19	Erich J. Neuhold, Thomas Olnhoff	The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System.	IFIP Congress	1980	DBLP BibTeX RDF
19	Dines Bjørner	The Vienna development method (VDM): Software specification & program synthesis.	Mathematical Studies of Information Processing	1978	DBLP DOI BibTeX RDF
13	Miguel Alexandre Ferreira, José Nuno Oliveira	An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.	SBMF	2009	DBLP DOI BibTeX RDF
13	Satish Mishra, Bernd-Holger Schlingloff	Compliance of CMMI Process Area with Specification Based Development.	SERA	2008	DBLP DOI BibTeX RDF	Software Quality Guarantees, Process Models and Process Management, Process Support Tools, Model Driven Engineering, Software Engineering Processes
13	Naikuo Yang, Howard Barringer, Ning Zhang 0001	A Purpose-Based Access Control Model.	IAS	2007	DBLP DOI BibTeX RDF
13	Cliff B. Jones	Understanding Programming Language Concepts Via Operational Semantics.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
13	Hiroyuki Nakagawa, Kenji Taguchi 0001, Shinichi Honiden	Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.	ASE	2007	DBLP DOI BibTeX RDF	formal methods, model transformation, requirements analysis
13	Gary T. Leavens, Albert L. Baker, Clyde Ruby	Preliminary design of JML: a behavioral interface specification language for java.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
13	Flávio Oquendo	pi-Method: a model-driven formal method for architecture-centric software engineering.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering
13	Hui Wang 0001	Nearest Neighbors by Neighborhood Counting.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	neighborhood counting measure, machine learning, Pattern recognition, similarity, nearest neighbors, distance
13	Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.	ISoLA	2006	DBLP DOI BibTeX RDF
13	Jin Song Dong	From semantic web to expressive software specifications: a modeling languages spectrum.	ICSE	2006	DBLP DOI BibTeX RDF
13	Daniel Jackson 0001	Idioms of Logical Modelling.	ICGT	2006	DBLP DOI BibTeX RDF
13	Tiago L. Alves, Paulo F. Silva 0001, Joost Visser 0001, José Nuno Oliveira	Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.	FM	2005	DBLP DOI BibTeX RDF
13	Kwang Hyuk Im, Tae Hyun Kim 0002, Sang-Chan Park	Hybrid System of Case-Based Reasoning and Neural Network for Symbolic Features.	DaWaK	2005	DBLP DOI BibTeX RDF
13	Cliff B. Jones	Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract.	ZB	2005	DBLP DOI BibTeX RDF
13	Jianping Yao	An Introduction to Three Perspectives on Formal Specification Review.	ICECCS	2005	DBLP DOI BibTeX RDF
13	Paul Mason, Ken Cosh, Pulyamon Vihakapirom	On structuring formal, semi-formal and informal data to support traceability in systems engineering environments.	CIKM	2004	DBLP DOI BibTeX RDF	systems engineering data, traceability, meta-modelling
13	Shih-Hsi Liu	Validation of Distributed Real-Time and Embedded System composition in UniFrame.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	UniFrame, quality of service, real-time, Vienna Development Method, two-level grammar
13	Martin Hofmann 0001	Certification of Memory Usage.	ICTCS	2003	DBLP DOI BibTeX RDF
13	Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal	Specification-Based Testing of User Interfaces.	DSV-IS	2003	DBLP DOI BibTeX RDF
13	Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang	Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF
13	Beum-Seuk Lee, Barrett R. Bryant	Automated conversion from requirements documentation to an object-oriented formal specification language.	SAC	2002	DBLP DOI BibTeX RDF	contextual natural language processing, object-oriented software specification, XML, Vienna development method, two-level grammar
13	Andrew Butterfield, Glenn Strong	Proving Correctness of Programs with IO - A Paradigm Comparison.	IFL	2001	DBLP DOI BibTeX RDF
13	Shaoying Liu, Jin Song Dong	Class and Module in SOFL.	APAQS	2001	DBLP DOI BibTeX RDF
13	Johann Hörl, Bernhard K. Aichernig	Validating Voice Communication Requirements Using Lightweight Formal Methods.	IEEE Softw.	2000	DBLP DOI BibTeX RDF
13	Johann Hörl, Bernhard K. Aichernig	Requirements Validation of a Voice Communication System Used in Air Traffic Control.	ICRE	2000	DBLP DOI BibTeX RDF
13	Paul B. Jackson	Total-Correctness Refinement for Sequential Reactive Systems.	TPHOLs	2000	DBLP DOI BibTeX RDF
13	Richard F. Paige, Jonathan S. Ostroff	Developing BON as an Industrial-Strength Formal Method.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
13	Ian Oliver, Stuart Kent 0001	Validation of Object Oriented Models using Animation.	EUROMICRO	1999	DBLP DOI BibTeX RDF
13	Francesca Arcelli Fontana, Massimo De Santo, S. Di Salvo	Software Agents for Computer Vision: A Preliminary Discussion.	HICSS (5)	1998	DBLP DOI BibTeX RDF
13	Steven Bradley, William Henderson, David Kendall, Adrian Robson	Integrating AORTA with Model-Based Data Specification Languages.	FASE	1998	DBLP DOI BibTeX RDF
13	Chris Ho-Stuart, Shaoying Liu	A Formal Operational Semantics for SOFL.	APSEC	1997	DBLP DOI BibTeX RDF	operational-semantics data-flow-diagram specification
13	Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes	Specification of Required Non-determinism.	FME	1997	DBLP DOI BibTeX RDF
13	Thomas Schreiber	Auxiliary Variables and Recursive Procedures.	TAPSOFT	1997	DBLP DOI BibTeX RDF
13	Gary T. Leavens, Jeannette M. Wing	Protective Interface Specifications.	TAPSOFT	1997	DBLP DOI BibTeX RDF
13	Hubert Baumeister	Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.	TAPSOFT	1995	DBLP DOI BibTeX RDF
13	Shaoying Liu, Yong Sun	Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.	ICECCS	1995	DBLP DOI BibTeX RDF	structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology
13	John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen	Formal and Informal Specifications of a Secure System Component: first results in a comparative study.	FME	1994	DBLP DOI BibTeX RDF
13	Daniel Jackson 0001	Abstract Model Checking of Infinite Specifications.	FME	1994	DBLP DOI BibTeX RDF
13	Matthias Weber	Literate Mathematical Development of a Revision Management System.	FME	1994	DBLP DOI BibTeX RDF
13	Juan Bicarregui	Algorithm Refinement with Read and Write Frames.	FME	1993	DBLP DOI BibTeX RDF
13	Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena	ADVcharts: a graphical specification for abstract data views.	CASCON	1993	DBLP BibTeX RDF
13	Shaoying Liu	A user-friendly formal requirements specification method.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Formal requirements specification, Formal methods, Requirements analysis, Consistency analysis
13	Jifeng He 0001	Various Simulations and Refinements.	REX Workshop	1989	DBLP DOI BibTeX RDF	Hiding Refinement, Simulation, Refinement, Labelled Transition System
13	Cornelis A. Middelburg	Experiences with Combining Formalisms in VVSL.	Algebraic Methods	1989	DBLP DOI BibTeX RDF	1987 CR categories D.2.1, D.2.2, D.3.1, F.3.1, F.4.1, F.3.2
13	Loe M. G. Feijs	Norman's Database Modularised in COLD-K.	Algebraic Methods	1989	DBLP DOI BibTeX RDF
13	Robert B. Terwilliger	Please: a language combining imperative and logic programming.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	PLEASE
13	David A. Duce, Elizabeth V. C. Fielding, Lynn S. Marshall	Formal specification of a small example based on GKS.	ACM Trans. Graph.	1988	DBLP DOI BibTeX RDF	GKS
13	Rudi Studer	Abstraction Concepts for Modeling Screen Oriented Dialogue Interfaces.	FSTTCS	1984	DBLP DOI BibTeX RDF
13	Dines Bjørner	Programming in the META-Language: A Tutorial.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF