Search results for "VDM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings	ABZ	2012	DBLP DOI BibTeX RDF
19	Claus Ballegaard Nielsen, Peter Gorm Larsen	Extending VDM-RT to enable the formal modelling of System of Systems.	SoSE	2012	DBLP DOI BibTeX RDF
19	Vincenzo Gervasi	An ASM Model of Concurrency in a Web Browser.	ABZ	2012	DBLP DOI BibTeX RDF
19	Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook	A Practical Event-B Refinement Method Based on a UML-Driven Development Process.	ABZ	2012	DBLP DOI BibTeX RDF
19	Paolo Arcaini, Francesco Bolis, Angelo Gargantini	Test Generation for Sequential Nets of Abstract State Machines.	ABZ	2012	DBLP DOI BibTeX RDF
19	Amirhossein Vakili, Nancy A. Day	Temporal Logic Model Checking in Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
19	Ian J. Hayes, Robert Colvin	Integrated Operational Semantics: Small-Step, Big-Step and Multi-step.	ABZ	2012	DBLP DOI BibTeX RDF
19	Chris Marriott, Frank Zeyda, Ana Cavalcanti 0001	A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.	ABZ	2012	DBLP DOI BibTeX RDF
19	Timothy Nelson 0001, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Toward a More Complete Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
19	Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry	Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project.	ABZ	2012	DBLP DOI BibTeX RDF
19	Vajih Montaghami, Derek Rayside	Extending Alloy with Partial Instances.	ABZ	2012	DBLP DOI BibTeX RDF
19	Gudmund Grov, Andrew Ireland, Maria Teresa Llano	Refinement Plans for Informed Formal Design.	ABZ	2012	DBLP DOI BibTeX RDF
19	Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra	A Reliability Prediction Method for Abstract State Machines.	ABZ	2012	DBLP DOI BibTeX RDF
19	Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer	Refactoring Abstract State Machine Models.	ABZ	2012	DBLP DOI BibTeX RDF
19	Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu	Learn and Test for Event-B - A Rodin Plugin.	ABZ	2012	DBLP DOI BibTeX RDF
19	Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles	A Semantic Analysis of Logics That Cope with Partial Terms.	ABZ	2012	DBLP DOI BibTeX RDF
19	Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra	Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs.	ABZ	2012	DBLP DOI BibTeX RDF
19	Ting Wang, Dongyao Ji	Active Attacking Multicast Key Management Protocol Using Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
19	David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin	SMT Solvers for Rodin.	ABZ	2012	DBLP DOI BibTeX RDF
19	Matthes Elstermann, Detlef Seese, Albert Fleischmann	Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System.	ABZ	2012	DBLP DOI BibTeX RDF
19	Roland Lezuo, Andreas Krall	A Unified Processor Model for Compiler Verification and Simulation Using ASM.	ABZ	2012	DBLP DOI BibTeX RDF
19	Aleksandar Milicevic, Daniel Jackson 0001	Preventing Arithmetic Overflows in Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
19	Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell	Event-B Code Generation: Type Extension with Theories.	ABZ	2012	DBLP DOI BibTeX RDF
19	Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu	ASM and Controller Synthesis.	ABZ	2012	DBLP DOI BibTeX RDF
19	Klaus-Dieter Schewe, Qing Wang 0002	A Simplified Parallel ASM Thesis.	ABZ	2012	DBLP DOI BibTeX RDF
19	Benoît Fraikin, Marc Frappier, Richard St-Denis	Modeling the Supervisory Control Theory with Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
19	Gintautas Sulskus, Michael Poppleton	A Pattern for Modelling Fault Tolerant Systems in Event-B.	ABZ	2012	DBLP DOI BibTeX RDF
19	Egon Börger, Antonio Cisternino, Vincenzo Gervasi	Contribution to a Rigorous Analysis of Web Application Frameworks.	ABZ	2012	DBLP DOI BibTeX RDF
19	David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka	Discharging Proof Obligations from Atelier B Using Multiple Automated Provers.	ABZ	2012	DBLP DOI BibTeX RDF
19	Maximiliano Cristiá, Claudia S. Frydman	Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions.	ABZ	2012	DBLP DOI BibTeX RDF
19	Stefan Hallerstede, Thai Son Hoang	Refinement by Interface Instantiation.	ABZ	2012	DBLP DOI BibTeX RDF
19	Ramsay Taylor	Verification of Hardware Interaction Properties of Software.	ABZ	2012	DBLP DOI BibTeX RDF
19	Jean-Raymond Abrial, Wen Su, Huibiao Zhu	Formalizing Hybrid Systems with Event-B.	ABZ	2012	DBLP DOI BibTeX RDF
19	Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu	Continuous Behaviour in Event-B: A Sketch.	ABZ	2012	DBLP DOI BibTeX RDF
19	Haniel Barbosa, David Déharbe	Formal Verification of PLC Programs Using the B Method.	ABZ	2012	DBLP DOI BibTeX RDF
19	Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu	Continuous ASM, and a Pacemaker Sensing Fragment.	ABZ	2012	DBLP DOI BibTeX RDF
19	Martin Trefzer	Justin Lee: Morphogenetic Evolvable Hardware - VDM, 2008, ISBN 978-3-639-05716-4.	Genet. Program. Evolvable Mach.	2011	DBLP DOI BibTeX RDF
19	Peter D. Mosses	VDM semantics of programming languages: combinators and monads.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
19	Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle	A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.	ICFEM	2011	DBLP DOI BibTeX RDF
19	Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef	The overture initiative integrating tools for VDM.	ACM SIGSOFT Softw. Eng. Notes	2010	DBLP DOI BibTeX RDF
19	Augusto Ribeiro, Peter Gorm Larsen	Proof Obligation Generation and Discharging for Recursive Definitions in VDM.	ICFEM	2010	DBLP DOI BibTeX RDF
19	Jozef Hooman, Marcel Verhoef	Formal Semantics of a VDM Extension for Distributed Embedded Systems.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
19	Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle	Combinatorial Testing for VDM.	SEFM	2010	DBLP DOI BibTeX RDF
19		VDM.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
19	Mohammad Reza Nami, Fatemeh Hassani	A comparative evaluation of the Z, CSP, RSL, and VDM languages.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF
19	Jianting Zhang, Le Gruenwald, Michael Gertz 0001	VDM-RS: A visual data mining system for exploring and classifying remotely sensed images.	Comput. Geosci.	2009	DBLP DOI BibTeX RDF
19	Taro Kurita, Yasumasa Nakatsugawa	The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip.	Int. J. Softw. Informatics	2009	DBLP BibTeX RDF
19	Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff	Methods for the Development of Distributed Real-Time Embedded Systems Using VDM.	Int. J. Softw. Informatics	2009	DBLP BibTeX RDF
19	Quan Z. Sheng, Jian Yu, Zakaria Maamar, Wei Jiang, Xitong Li	Compatibility Checking of Heterogeneous Web Service Policies Using VDM++.	SERVICES I	2009	DBLP DOI BibTeX RDF
19	Yojiro Kawamata, Christian Sommer 0001, Fuyuki Ishikawa, Shinichi Honiden	Specifying and Checking Refinement Relationships in VDM++.	SEFM	2009	DBLP DOI BibTeX RDF
19	Ishrat Sami, Brian Dupée	Qualitative Comparison of B, VDM and Z in Specifying Requirements of Safety Critical Systems.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF
19	Dan Jin, Zongyuan Yang	Strategies of Modeling from VDM-SL to JML.	ALPIT	2008	DBLP DOI BibTeX RDF
19	Wenhao Xu, Jing Li, Yongwei Wu, Xiaomeng Huang, Guangwen Yang	VDM: Virtual Database Management for Distributed Databases and File Systems.	GCC	2008	DBLP DOI BibTeX RDF
19	Edwin Mit	Developing VDM++ operations from UML diagrams.		2008	RDF
19	Ji-Ping Wang	A linearization procedure and a VDM/ECM algorithm for penalized and constrained nonparametric maximum likelihood estimation for mixture models.	Comput. Stat. Data Anal.	2007	DBLP DOI BibTeX RDF
19	Abdul Huq, Narayanan T. Ramachandran	VDM Specification of an Algorithm for Graph Decomposition.	J. Digit. Inf. Manag.	2007	DBLP BibTeX RDF
19	Bernhard K. Aichernig, Reinhold Kainhofer	Modeling and Validating Hybrid Systems Using VDM and Mathematica	CoRR	2004	DBLP BibTeX RDF
19	Simeon J. Simoff	VDM@ECML/PKDD2001: The International Workshop on Visual Data Mining at ECML/PKDD 2001.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF	data mining, information visualization, Visual data exploration, visual reasoning
19	Cliff B. Jones	The Transition from VDL to VDM.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
19	José Nuno Oliveira	"Bagatelle in C arranged for VDM SoLo".	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
19	Q. Charatan	MOOV++: modular object-oriented VDM.	Inf. Softw. Technol.	2000	DBLP DOI BibTeX RDF
19	Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald	A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.	SAFECOMP	2000	DBLP DOI BibTeX RDF
19	Fawzi Albalooshi, Fred Long	Multiple view environment supporting VDM and Ada.	IEE Proc. Softw.	1999	DBLP DOI BibTeX RDF
19	Timothy K. Shih, Huan-Chao Keh, Yule-Chyun Lin	A VDM Approach to Continuation-based Semantics of Prolog.	Comput. Artif. Intell.	1999	DBLP BibTeX RDF
19	Georg Droschl	On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.	IWFM	1999	DBLP BibTeX RDF
19	Juan Bicarregui (eds.)	Proof in VDM: Case Studies		1998	DBLP DOI BibTeX RDF
19	Thomas Kleymann	Hoare logic and VDM : machine-checked soundness and completeness proofs.		1998	RDF
19	Yves Ledru	Specification and Animation of a Bank Transfer using KIDS/VDM.	Autom. Softw. Eng.	1997	DBLP DOI BibTeX RDF
19	Paulo Borba, Silvio Romero de Lemos Meira	A System for Translating Executable VDM Specifiactions into Lazy ML.	Softw. Pract. Exp.	1997	DBLP DOI BibTeX RDF
19	Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack	Hybrid Object-Oriented Real-Time Software Development with VDM++.	ICFEM	1997	DBLP DOI BibTeX RDF
19	Paul Mukherjee	Automatic Translation of VDM-SL Specifications into Gofer.	FME	1997	DBLP DOI BibTeX RDF
19	Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent 0001	Integrating VDM++ and Real-Time System Design.	ZUM	1997	DBLP DOI BibTeX RDF
19	Lu Jian	Developing Parallel Object-Oriented Programs in the Framework of VDM.	Ann. Softw. Eng.	1996	DBLP DOI BibTeX RDF
19	Sten Agerholm	Translating Specifications in VDM-SL to PVS.	TPHOLs	1996	DBLP DOI BibTeX RDF
19	Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk	Real Time Formal Specification using VDM++.	SBES	1996	DBLP DOI BibTeX RDF
19	Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack	Real time formal specification using VDM++.	WORDS	1996	DBLP DOI BibTeX RDF
19	Jeremy Dick, Jérôme Loubersac	A Visual Approach to VDM.	SOFSEM	1996	DBLP DOI BibTeX RDF
19	Paul Mukherjee	System Refinement in VDM-SL.	ICECCS	1996	DBLP DOI BibTeX RDF
19	Aaron Kans	From VDM to ABC : a pragmatic approach to formal software development.		1996	RDF
19	Quentin Charatan	A unified systems development paradigm which synthesises Object-Oriented Methodologies and VDM.		1996	RDF
19	D. J. Andrews, Darrel C. Ince	Transformational data refinement and VDM.	Inf. Softw. Technol.	1995	DBLP DOI BibTeX RDF
19	J. Coenen	Hoare's Logic and VDM.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
19	Deri Sheppard	An introduction to formal specification with Z and VDM.		1995	RDF
19	Yves Ledru, Marie-Laure Potet	A VDM Specification of the Steam-Boiler Problem.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
19	Christian P. Schinagl	VDM Specification of the Steam-Boiler Control Using RSL Notation.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
19	Arthur P. Hughes, Alexis A. Donnelly	An Algebraic Proof in VDM.	ZUM	1995	DBLP DOI BibTeX RDF
19	Kevin Lano	Distributed System Specification in VDM++.	FORTE	1995	DBLP BibTeX RDF
19	Regine Laleau, Nassim Hadj Rabia	Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données.	INFORSID	1995	DBLP BibTeX RDF
19	Bettina Buth	Operation refinement proofs for VDM-like specifications.		1995	RDF
19	Nicola K. Hook	A formal framework in VDM for the specification of parallel discrete event simulation.		1995	RDF
19	Ian J. Hayes, Cliff B. Jones, John E. Nicholls	Understanding the differences between VDM and Z.	ACM SIGSOFT Softw. Eng. Notes	1994	DBLP DOI BibTeX RDF
19	Aaron Kans, Clive Hayton	Translating VDM specifications into ABC programs.	Inf. Softw. Technol.	1994	DBLP DOI BibTeX RDF
19	Juan Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard C. Moore, Brian Ritchie	Proof in VDM: A Practitioner's Guide		1994	DOI RDF
19	Heinz Zemanek	Early Foundations of Formal Modelling and Language Specification: Vienna Definition Language (VDL) and Vienna Development Method (VDM).	IFIP Congress (2)	1994	DBLP BibTeX RDF
19	Kevin Lano, Stephen J. Goldsack	Refinement, Subtyping and Subclassing in VDM++.	Theory and Formal Methods	1994	DBLP BibTeX RDF
19	Poul Bøgh Lassen	IFAD VDM-SL Toolbox.	FTRTFT	1994	DBLP BibTeX RDF
19	Hans-Martin Hörcher, Uwe Schmidt 0002	The VDM Domain Compiler.	FTRTFT	1994	DBLP BibTeX RDF
19	René Elmstrøm, Poul Bøgh Lassen, Michael Andersen	An Executable Subset of VDM-SL, in an SA/RT Framework.	Real Time Syst.	1993	DBLP DOI BibTeX RDF
19	Paulo Borba, Silvio Romero de Lemos Meira	From VDM specifications to functional prototypes.	J. Syst. Softw.	1993	DBLP DOI BibTeX RDF
19	Yves Ledru	Developing Reactive Systems in a VDM Framework.	Sci. Comput. Program.	1993	DBLP DOI BibTeX RDF