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 |
|