Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt	Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF	Ad hoc network, Intrusion Detection, Network Security, Formal reasoning
32	Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen	Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
32	Akram Idani, Yves Ledru, Didier Bert	Derivation of UML Class Diagrams as Static Views of Formal B Developments.	ICFEM	2005	DBLP DOI BibTeX RDF	UML, Formal concept analysis, B, Method integration
32	June Andronick, Boutheina Chetali, Christine Paulin-Mohring	Formal Verification of Security Properties of Smart Card Embedded Source Code.	FM	2005	DBLP DOI BibTeX RDF	Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
32	Nuno Amálio, Susan Stepney, Fiona Polack	Formal Proof from UML Models.	ICFEM	2004	DBLP DOI BibTeX RDF	UML, Z, consistency checking, formal proof, model analysis
32	Fabrice Bouquet, Bruno Legeard	Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study.	FME	2003	DBLP DOI BibTeX RDF	B abstract machine, Oracle synthesis, Representation mapping, Specification-Based test generation, Formal methods, Java Card
32	Donna C. Stidolph, E. James Whitehead Jr.	Managerial Issues for the Consideration and Use of Formal Methods.	FME	2003	DBLP DOI BibTeX RDF	schedule, formal methods, specification, requirements, cost, Program management
32	Juan C. Burguillo-Rial, Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, Martín Llamas Nistal	Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study.	FME	2002	DBLP DOI BibTeX RDF	heuristics for testing, risk and cost of testing, test case selection, formal testing
32	Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno	Strategic Testing Environment with Formal Description Techniques.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	formal environment for systematic testing, stepwise approach, test development, TENT, test sequence generation tool, APRICOT, ASN.1 pre-compiler, coder, test-debugger, test specification editor, upper tester, lower tester, simulator, design, formal specification, protocol, protocols, data structures, programming environments, formal semantics, communication systems, formal description techniques, FOREST, test execution
31	Jeannette M. Wing, Jim Woodcock 0001	The First World Congress on Formal Methods in the Development of Computing Systems.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF
31	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
31	Diana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic	Panel Discussion: Empirical versus Formal Methods.	FAABS	2000	DBLP DOI BibTeX RDF
31	Constance L. Heitmeyer	On the Need for Practical Formal Methods.	FTRTFT	1998	DBLP DOI BibTeX RDF
31	Andrei Rimsa, Luis E. Zárate, Mark A. J. Song	Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Zero-Supressed Binary Decision Diagrams, Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
31	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
31	Steven M. German	Formal Design of Cache Memory Protocols in IBM.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	formal design of hardware, cache memory protocol, Murphi verifier, protocol verification
31	Arne Borälv	Case Study: Formal Verification of a Computerized Railway Interlocking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Stålmarck's method, Formal verification, Railway interlocking
31	Rudolf Wille	Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
31	Renato Silva, Michael J. Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	2009	DBLP DOI BibTeX RDF	generic instantiation, formal methods, reusability, event-B
31	Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux	Formal Composition of Distributed Scenarios.	FORTE	2004	DBLP DOI BibTeX RDF	Scenario-based approach, Scenario composition, Distributed systems, Formal specification, Use case, FSM
31	Marc Mehdi Ayadi, Dominique Bolignano	Verification of Cryptographic Protocols: An Experiment.	FME	1997	DBLP DOI BibTeX RDF	security, formal methods, cryptographic protocols, Coq
31	Paul Curzon, Ian M. Leslie	A case study on design for provability.	ICECCS	1995	DBLP DOI BibTeX RDF	design for provability, verification task, ATM network switch, formal specification, formal specification, formal verification, formal verification, switching fabric
31	Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel	Hybrid specification of control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
31	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
30	Paul Curzon, Rimvydas Ruksenas, Ann Blandford	An approach to formal verification of human-computer interaction.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Formal cognitive architecture, Formal verification, Theorem proving, Interactive systems, Human error
30	José Juan Pazos-Arias, Jorge García Duque	SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.	Formal Aspects Comput.	2001	DBLP DOI BibTeX RDF	Incremental specification, Unspecification, Formal verification, Temporal logic, Formal description techniques, Functional requirements
30	Jin Song Dong, Jing Sun 0002, Jun Sun 0001, Kenji Taguchi 0001, Xian Zhang 0007	Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.	ICFEM	2008	DBLP DOI BibTeX RDF
30	Shaoying Liu	Developing Quality Software Systems Using the SOFL Formal Engineering Method.	ICFEM	2002	DBLP DOI BibTeX RDF
30	Eva-Martin Mueckstein	Controlled natural language interfaces (extended abstract): the best of three worlds.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
30	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
30	D. Sinclair, Ludo Cuypers, Kurt Verschaeve, E. Holz, Alexios N. Birbas, V. Mariatos, N. Kyrloglou, J.-L. Roux	A formal approach to HW/SW co-design: the INSYDE project.	ECBS	1996	DBLP DOI BibTeX RDF	INSYDE project, hybrid system co-design, formal description languages, requirements capture, formal verification, software tools, validation, VHDL, object-oriented design, object-oriented methods, SDL, hardware description languages, object-oriented analysis, hardware/software co-design, formal approach
30	Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor	Formal Methods Pilot Project.	APSEC	1996	DBLP DOI BibTeX RDF	safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project
30	E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.	WCRE	1996	DBLP DOI BibTeX RDF	transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
30	Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens	Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design.	EUROMICRO	1996	DBLP DOI BibTeX RDF	SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
30	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
30	Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi	Informal and Formal Requirements Specification Languages: Bridging the Gap.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
30	Gilbert Babin, François Lustman, Peretz Shoval	Specification and Design of Transactions in Information Systems: A Formal Approach.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	conventional information systems development, manual checking, transformational paradigm, ADISSA notation, transaction-oriented refinement, structured systems analysis, hierarchical set, formal specification, formal specification, data integrity, finite state machine, systems analysis, transaction processing, requirements specifications, finite automata, FSM, structured programming, formal approach
30	Ali E. Abdallah, Etienne J. Khayat	A Formal Model for Parameterized Role-Based Access Control.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
30	Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland	Complementing Computational Protocol Analysis with Formal Specifications.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
30	Bernd Krieg-Brückner, Jan Peleska 0001, Ernst-Rüdiger Olderog, Alexander Baer	The UniForM Workbench, a Universal Development Environment for Formal Methods.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
30	Bernhard Schätz, Franz Huber	Integrating Formal Description Techniques.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
30	Denis Sabatier, Pierre Lartigue	The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
30	Rajeev Alur, Joel M. Esposito, Moonjoo Kim 0001, Vijay Kumar 0001, Insup Lee 0001	Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
30	Eric Conquet, Jean-Luc Marty	Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
30	Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton	Formal Methods for Extensions to CAS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
30	Soon-Kyeong Kim, David A. Carrington	A Tool for a Formal Pattern Modeling Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal Pattern Modeling Language, Pattern Tool, Design Pattern, Model Transformation, Object-Z, Model Evolution
30	Nuno Amálio, Susan Stepney, Fiona Polack	A Formal Template Language Enabling Metaproof.	FM	2006	DBLP DOI BibTeX RDF	formal development, patterns, templates, Z, proof
30	David von Oheimb	Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche.	FM	2006	DBLP DOI BibTeX RDF	security, models, evaluation, software engineering, Formal methods
30	Yuechen Qian	Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates.	ICFEM	2003	DBLP DOI BibTeX RDF	Disconnected Updates, Formal Methods, Consistency, Z, Logs, Data Synchronization
30	Jessica Chen	Using Formal Methods to Serialize Synchronization Events.	ICFEM	2003	DBLP DOI BibTeX RDF	Reproducible Testing, Formal Engineering Method, Nondeterminism, Labelled Transition Systems
30	Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos	A Formal Methodology to Specify E-commerce Systems.	ICFEM	2002	DBLP DOI BibTeX RDF	property patterns, model checking, formal verification, electronic commerce, design specification
30	Matthias Anlauff, Stefan Jähnichen, Martin Simons 0001	An experimental support system for formal mathematical reasoning.	FME	1994	DBLP DOI BibTeX RDF	tool support, proofs, logical frameworks, formal reasoning
30	Kelvin J. Ross, Peter A. Lindsay	Maintaining Consistency Under Changes to Formal Specifications.	FME	1993	DBLP DOI BibTeX RDF	verification, formal methods, configuration management, VDM, change control
30	Samar Dajani-Brown, Darren D. Cofer, Amar Bouali	Formal Verification of an Avionics Sensor Voter Using SCADE.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
29	Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky	Java-MaC: A Run-Time Assurance Approach for Java Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
29	David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman	The Changing Face of Standardization: A Place for Formal Methods?	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	PREMO, Distributed systems, Standards, Object-Z, Multi-media
29	Greg Bronevetsky, Bronis R. de Supinski	Complete Formal Specification of the OpenMP Memory Model.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	parallel programming, theorem proving, OpenMP, formal systems
29	Xiaoxue Song, Wen-Xiu Zhang	Formal Concept Analysis and Set-Valued Information Systems.	RSKT	2007	DBLP DOI BibTeX RDF	set-valued information systems, granular reduct, attribute characteristics, attribute reduct, Formal contexts
29	Anna Slobodová	Challenges for Formal Verification in Industrial Setting.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
29	Radim Belohlávek, Vladimir Sklenar	Formal Concept Analysis Constrained by Attribute-Dependency Formulas.	ICFCA	2005	DBLP DOI BibTeX RDF
29	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.	FM	2005	DBLP DOI BibTeX RDF
29	Anthony Hall	Correctness by Construction: Integrating Formality into a Commercial Development Process.	FME	2002	DBLP DOI BibTeX RDF
29	Luciano Baresi, Alessandro Orso, Mauro Pezzè	Customizable notations for kernel formalisms.	ICECCS	1995	DBLP DOI BibTeX RDF	customizable notations, kernel formalisms, intuitive graphical notations, specific application domain, formal specification, formal methods, graphical user interfaces, computer graphics, tool support, graphical notations, formal foundations
29	Christian Jacobi 0002, Christoph Berg	Formal Verification of the VAMP Floating Point Unit.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	IEEE standard 754, formal verification, theorem proving, PVS, floating point unit
29	Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin	Formal Verification Successes at Motorola.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	verification, microprocessors, formal, properties
29	Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso	Formal Verification of a Railway Interlocking System using Model Checking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Formal methods, Safety critical systems, spin, Industrial applications
28	Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean	Formal specification and verification of data separation in a separation kernel for an embedded system.	CCS	2006	DBLP DOI BibTeX RDF	code verification, formal specification, theorem proving, formal model, separation kernel
28	Robert Leithiser	A relational database model for representation of formal specifications.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	Zed, relational state, formal specification, formal methods, relational database management system, RDBMS, state transition
28	Christoph Kern, Mark R. Greenstreet	Formal verification in hardware design: a survey.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF	language containment, model checking, formal methods, formal verification, case studies, theorem proving, survey, hardware verification
28	King Sing Cheung, K. O. Chow, T. Y. Cheung	Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	formal specification, formal method, object-oriented model
28	Gerald C. Gannod, Betty H. C. Cheng	Using Informal and Formal Techniques for the Reverse Engineering of C Programs.	WCRE	1996	DBLP DOI BibTeX RDF	informal techniques, higher level abstraction, programming methods, code correctness, ground-based command system, unmanned flight systems, spacecraft control, formal specifications, reverse engineering, reverse engineering, object-oriented programming, software maintenance, program understanding, legacy system, system re-engineering, formal techniques, C programs, program semantics
28	Robert B. France	Semantically Extended Data Flow Diagrams: A Formal Specification Tool.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	formal specification tool, semantic decompositions, formal specification, systems analysis, diagrams, data transforms, semantic properties, dataflow diagram, application functionality
28	Frithjof Dau, Julia Klinger	From Formal Concept Analysis to Contextual Logic.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
28	Tim Becker	Features of Interaction Between Formal Concept Analysis and Algebraic Geometry.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
28	Uta Priss	Linguistic Applications of Formal Concept Analysis.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
28	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
28	Michel Charpentier, K. Mani Chandy	Towards a Compositional Approach to the Design and Verification of Distributed Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson	Secure Synthesis of Code: A Process Improvement Experiment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Gerald C. Gannod, Betty H. C. Cheng	A Two-Phase Approach to Reverse Engineering Using Formal Methods.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
28	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
28	Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller	Formal Methods Meet Domain Specific Languages.	IFM	2005	DBLP DOI BibTeX RDF	scheduling, formal methods, refinements, decision procedure, DSL
28	Matteo Pradella, Matteo Rossi 0001, Dino Mandrioli	ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.	FORTE	2005	DBLP DOI BibTeX RDF	UML, real-time, software architecture, formal methods
28	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method
28	Takuya Katayama	How Can We Make Industry Adopt Formal Methods?	ICFEM	2008	DBLP DOI BibTeX RDF
28	Joseph R. Kiniry, Daniel M. Zimmerman	Secret Ninja Formal Methods.	FM	2008	DBLP DOI BibTeX RDF
28	Raymond T. Boute	Using Domain-Independent Problems for Introducing Formal Methods.	FM	2006	DBLP DOI BibTeX RDF
28	Yujun Zheng 0001, Jinquan Wang, Kan Wang, Jinyun Xue	Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.	FM	2006	DBLP DOI BibTeX RDF
28	Werner Stephan 0001	Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.	FM	2006	DBLP DOI BibTeX RDF
28	Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik	Formal Model-Driven Development of Communicating Systems.	ICFEM	2005	DBLP DOI BibTeX RDF
28	Shaoying Liu	Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method.	ICFEM	2004	DBLP DOI BibTeX RDF
28	Mathai Joseph	Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?.	ICFEM	2003	DBLP DOI BibTeX RDF
28	Richard Jüllig	Formal Methods in Enterprise Computing.	ICFEM	2002	DBLP DOI BibTeX RDF
28	Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu	Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol.	FM-Trends	1998	DBLP DOI BibTeX RDF
28	Richard F. Paige	A Meta-Method for Formal Method Integration.	FME	1997	DBLP DOI BibTeX RDF
28	Jonathan P. Bowen, Michael G. Hinchey	Seven More Myths of Formal Methods.	FME	1994	DBLP DOI BibTeX RDF
28	Jonathan P. Bowen, Victoria Stavridou	The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.	FME	1993	DBLP DOI BibTeX RDF
28	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
28	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
28	Babak Khazaei, Chris Roast	The influence of formal representation on solution specification.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Empirical study of formal representations, Formal specification representation, Generic and simple solution approaches, Human factors for formal methods, Z
28	Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira	Formal specification applied to industrial LAN's design.	EUROMICRO	1997	DBLP DOI BibTeX RDF	industrial LAN design, real-time field bus, PROFIBUS, industrial communication networks, data link layer, FDL, formal specification, formal specification, prototyping, software tools, methodology, LOTOS, data types, performance tests, formal specification language