Search results for "Formal specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	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
4	Li Shuguang, Jiang Qing, Chris George	Combining case-based and model-based reasoning: a formal specification.	APSEC	2000	DBLP DOI BibTeX RDF	generalised design information, rule language, formal specification, formal specification, data structures, retrieval, selection, case-based reasoning, case-based reasoning, model-based reasoning, model-based reasoning, intelligent design assistants, abstraction mechanism
4	Bettina Sucrow	Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	design stages, environmental cues, flight management system, human-computer interaction, formal specification, formal specification, interactive system, safety-critical system, graph grammars, information resources, aircraft, flight deck
4	Chie Dou	Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
4	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
4	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Intralevel Proof Obligations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
4	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
4	K. T. Narayana, Sanjeev Dharap	Formal Specification of a Look Manager.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	look manager, graphical interface software, user interfaces, formal specification, formal specification, computer graphics, modularity, interactive systems, formal model, Z notation, texturing model, dialog system
4	Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore	Formal Specification and Design Time Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
3	Chunyang Yuan, Yeping He, Jianbo He, Zhouyi Zhou	A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty.	Inscrypt	2006	DBLP DOI BibTeX RDF	Verification, Formal Specification, RBAC, Separation of Duty
3	Sebastian Rodriguez, Vincent Hilaire, Abder Koukam	Formal Specification of Holonic Multi-Agent Systems Framework.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF	self-organised system, model checking, formal specification, Holonic Multi-Agent Systems
3	Elena Troubitsyna	Integrating Safety Analysis into Formal Specification of Dependable Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	failure mode and effect analysis, formal specification, statecharts, actions systems
3	Christine Poerschke, David E. Lightfoot, John L. Nealon	A Formal Specification in B of a Medical Decision Support System.	ZB	2003	DBLP DOI BibTeX RDF
3	Barrett R. Bryant, Carol C. Burt, Mikhail Auguston, Rajeev R. Raje, Andrew M. Olson	Formal specification of generative component assembly using two-level grammar.	SEKE	2002	DBLP DOI BibTeX RDF	formal specification, generative programming, component-based software, two-level grammar
3	Marielle Doche, Andrew M. Gravell	Extraction of Abstraction Invariants for Data Refinement.	ZB	2002	DBLP DOI BibTeX RDF	failure refinement, distributed system, Formal specification, CSP, B, data refinement
3	Michael Johnson, Robert D. Rosebrugh	View Updatability Based on the Models of a Formal Specification.	FME	2001	DBLP DOI BibTeX RDF	formal specification, database, information system, conceptual modelling, data model, category theory, View update
3	Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills	Formal specification of Catalysis frameworks.	APSEC	2000	DBLP DOI BibTeX RDF	Catalysis frameworks, informal description, framework composition, formal specification, formal specification, software reuse, software reusability, object-oriented methods, component-based software development, subroutines, formal reasoning
3	Nancy G. Leveson	Completeness in formal specification language design for process-control systems.	FMSP	2000	DBLP DOI BibTeX RDF	completeness, process-control, Formal specification language
3	Hassan Gomaa, Shaoying Liu, Michael E. Shin	Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.	ICECCS	2000	DBLP DOI BibTeX RDF	domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain
3	Chris Matthews, Paul A. Swatman	Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.	ZB	2000	DBLP DOI BibTeX RDF	requirements determination, formal specification, Z, fuzzy set theory
3	Ken Robinson	Reconciling Axiomatic and Model-Based Specifications Using the B Method.	ZB	2000	DBLP DOI BibTeX RDF	formal specification, refinement, B Method, axiomatic, model-based
3	Soon-Kyeong Kim, David A. Carrington	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	APSEC	2000	DBLP DOI BibTeX RDF	lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams
3	Kentaro Go, Norio Shiratori	A Decomposition of a Formal Specification: An Improved Constraint Oriented Method.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	constraint-oriented method, Formal specification, decomposition, bisimulation, equivalence, LOTOS
3	K. S. Cheung, K. O. Chow, T. Y. Cheung	Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.	TOOLS	1999	DBLP DOI BibTeX RDF	formal specification, formal method, object-oriented model
3	J. William Atwood, Morteza Ghodrat, Dariusz Tasak	Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. (PDF / PS)	LCN	1999	DBLP DOI BibTeX RDF	Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers
3	Anthony Hall	What Does Industry Need From Formal Specification Techniques? (PDF / PS)	WIFT	1998	DBLP DOI BibTeX RDF
3	Alena Griffiths	Modular reasoning in Object-Z.	APSEC	1997	DBLP DOI BibTeX RDF	formal specification validation, modular semantics, object property, system property, partial validation, formal specification, complex systems, Object-Z, proof, modular reasoning, large systems
3	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties
3	Kate Finney	Mathematical Notation in Formal Specification: Too Difficult for the Masses?	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	reading Z, Formal specification, mathematics
3	Roderick McConnell, Dominique Lavenier	Prototyping of VLSI components from a formal specification.	VLSI Signal Processing	1996	DBLP DOI BibTeX RDF	Synchronous Data Flow, Formal Specification, VLSI
3	Juan-José Martins, Jean-Pierre Hubaux	A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation.	FME	1996	DBLP DOI BibTeX RDF	Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering
3	Paul Hennessey, Mohamed T. Ibrahim, Alexander M. Fedorec	Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems.	DEXA	1996	DBLP DOI BibTeX RDF	Log manager, Ephemeral logging, LLT, Long-Lived Transactions, Object design, Log performance, Formal specification, Transaction processing, Z, Logging, Distributed database systems, OMT
3	Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui	Formal Specification of Communication Protocols with Object-Based ECATNets.	EUROMICRO	1996	DBLP DOI BibTeX RDF	object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system
3	Xiaoqing Frank Liu, John Yen	An Analytic Framework for Specifying and Analyzing Imprecise Requirements.	ICSE	1996	DBLP BibTeX RDF	conflicting requirements, cooperative requirements, formal specification methods, implicit conflicts, imprecise requirements specification, informal requirements, irrelevant requirements, mutually exclusive requirements, relative priorities, formal specification, fuzzy logic, systems analysis, requirements analysis, conflict resolution, trade-off analysis, requirement change
3	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
3	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
3	Chia-Chu Chiang, Joseph E. Urban	Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations
3	Raymond A. Paul, Yoshihisa Shinagawa, Young Francis Day, M. Farrukh Khan, Arif Ghafoor	Object-Oriented Framework for Metrics Guided Risk Management. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	metrics guided risk management, large software project management, metrics data, consistent mechanism, temporal inheritance, formal specification, formal specification, object-oriented programming, software quality, project management, software metrics, query languages, inheritance, object-oriented languages, software development management, object oriented framework, quality management, temporal modeling, temporal operators, user views, risk identification, object oriented query language
3	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
3	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
3	Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk	Modeling and analysis of complex computer systems-the MTCCS approach.	ICECCS	1996	DBLP DOI BibTeX RDF	complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM
3	Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	A flexible protocol synthesis method for adopting requirement changes. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	flexible protocol synthesis method, requirement changes adoption, communicating entities, maintenance issue, protocol synthesis method, formal specification language LOTOS, formal specification, protocols, software maintenance, specification languages, protocol specification
3	V. K. Murthy	Transactional programming for distributed agent systems. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	transactional programming, multiagent programming paradigm, transactional logic model, DATRAP, production rule system, high-level data structures, execution semantics, computational complexity, complexity, formal specification, formal specification, database, distributed algorithms, distributed program, granularity, refinement calculus, refinement calculus, active objects, distributed agent systems
3	J. William Atwood, Y. Zhang	A definition of the XTP service and its formal specification. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	XTP service, Xpress Transfer Protocol, transport-level protocol, network-level protocol, unicast environment, multicast environment, specification architecture, data type definitions, process structures, distributed systems, real-time systems, real-time systems, formal specification, formal specification, local area networks, transport protocols, multimedia systems, multimedia systems, open systems, LOTOS
3	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal specification and verification of communication protocols using automated tools .	ICECCS	1995	DBLP DOI BibTeX RDF	OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
3	Simon N. Foley, Jeremy Jacob	Specifying security for CSCW systems.	CSFW	1995	DBLP DOI BibTeX RDF	confidentiality security, formal specification, formal specification, specification, groupware, safety, security of data, functionality, CSCW systems
3	Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale	DCCA: a versatile paradigm for the description and development of concurrent communicating systems.	HICSS	1995	DBLP DOI BibTeX RDF	DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
3	P. Blysa	SDT a tool for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
3	Paul Curzon, I. 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
3	K. Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
3	David W. Bustard, P. J. Lundy	Enhancing soft systems analysis with formal modelling. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE
3	Jan van Katwijk, W. J. Toetenel	Comparing formal specifications by measuring.	RTCSA	1995	DBLP DOI BibTeX RDF	formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses
3	François Lustman	Specifying Transaction-Based Information Systems with Regular Expressions.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	transaction-based information systems, interactive information systems, transformational paradigm, classical Waterfall development model, transaction-oriented method, concurrent regular expressions, operational requirements, connect/disconnect transactions, all-or-nothing principle, serial product automaton, concurrent expression, formal specification, formal specification, information systems, systems analysis, systems analysis, transaction processing, formal language, regular expressions, software specification, SPA, high-level specification
3	Joanne M. Atlee, John D. Gannon	State-Based Model Checking of Event-Driven System Requirements.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	event-driven system requirements, SCR tabular requirements, A-7 military aircraft, system invariants, automobile cruise control system, water-level monitoring system, model checking, formal specification, formal specification, formal verification, temporal logics, software requirements
3	Babak Hamidzadeh, Shashi Shekhar	Specification and Analysis of Real-time Problem Solvers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time artificial intelligence, real-time problem, real-time AI problem solvers, DYNORAII, RTA*, real-time path planning problem, deadline compliance, response-time minimization, real-time systems, computational complexity, formal specification, formal specification, problem solving, path planning, average-case complexity
3	John M. Rushby, Friedrich W. von Henke	Formal Verification of Algorithms for Critical Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	machine-checked verification, Byzantine fault-tolerant algorithm, digital flight control system, fault-tolerant synchronization, EHDM system, formal specification, formal specification, formal verification, fault tolerant computing, software reliability, safety, synchronisation, critical systems
3	Dan Paulson, Yair Wand	An Automated Approach to Information Systems Decomposition.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	automated approach, information systems decomposition, formal specification scheme, experimental computerized systems analysis tools, standard problem, computational complexity, complexity, formal specification, software tools, systems analysis, heuristic rules, formal definition
3	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
3	Fevzi Belli, Karl-Erwin Großpietsch	Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description
3	Robin A. Nicholl	Unreachable States in Model-Oriented Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	unreachable states, model-oriented specifications, detection of errors, bottom-up implementation strategy, formal specification, formal specification, software development, software components
3	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
3	Jeannette M. Wing	Using Larch to Specify Avalon/C++ Objects.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch
3	Heather Alexander	Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches".	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Formal specification, prototyping
3	David Gray	The Formal Specification of a Small Bookshop Information System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	small bookshop information system, scheme calculus, software engineering, formal specification, programming theory, set theory
2	Raphael Romeikat, Bernhard Bauer	Formal Specification of Domain-Specific ECA Policy Models.	TASE	2011	DBLP DOI BibTeX RDF	formal specification, model-driven engineering, policy-based management
2	Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita	Formal Specification and Analysis of an E-voting System.	ARES	2010	DBLP DOI BibTeX RDF	ES&S system, Critical Requirements, Formal Specification and Verification, Electronic Voting Systems
2	Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta	Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach.	TrustBus	2009	DBLP DOI BibTeX RDF
2	Changlong Zhu, Rasha Morsi	Formal specification of FFHMIPv6 using PVS.	SpringSim	2009	DBLP DOI BibTeX RDF	FFHMIPv6 packets, formal methods, handover, PVS
2	Shaoying Liu, Tetsuo Tamai, Shin Nakajima	Integration of formal specification, review, and testing for software component quality assurance.	SAC	2009	DBLP DOI BibTeX RDF
2	Artur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira	Formal Specification of a Cardiac Pacing System.	FM	2009	DBLP DOI BibTeX RDF	formal modelling, Z, industrial applications, pacemaker
2	Feng Yu, Junzhou Luo, Wei Li 0017, La-Lin Jiang	Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net.	NAS	2009	DBLP DOI BibTeX RDF
2	Iman Saleh, Gregory Kulczycki, M. Brian Blake	A Reusable Model for Data-Centric Web Services.	ICSR	2009	DBLP DOI BibTeX RDF	Data-Centric Web Services, SOA, Formal Specification, SOC
2	Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem	Formalizing ARTIS Agent Model Using RT-Maude.	MATES	2009	DBLP DOI BibTeX RDF	ARTIS Agent, Real-Time Maude, Formal specification, Validation
2	Doron Drusinsky, Man-tak Shing	Using UML Statecharts with Knowledge Logic Guards.	MoDELS	2009	DBLP DOI BibTeX RDF	K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior
2	Gongzhu Hu	A Formal Specification of UML Class and State Diagrams.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2008	DBLP DOI BibTeX RDF
2	Reng Zeng, Jianling Liu, Xudong He	A Formal Specification of Mondex Using SAM.	SOSE	2008	DBLP DOI BibTeX RDF
2	Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa	Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.	FM	2008	DBLP DOI BibTeX RDF
2	Roman Obermaisser	Formal Specification of Gateways in Integrated Architectures.	SEUS	2008	DBLP DOI BibTeX RDF
2	Lichen Zhang, Lihua Wang	Aspect-oriented formal specification for multimedia systems.	AICCSA	2008	DBLP DOI BibTeX RDF
2	Antonio Maña, Gimena Pujol	Towards Formal Specification of Abstract Security Properties.	ARES	2008	DBLP DOI BibTeX RDF	Formal Models, Security Properties, Proof assistants
2	Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Formal specification of the MPI-2.0 standard in TLA+.	PPOPP	2008	DBLP DOI BibTeX RDF	model checking, formal specification, MPI, TLA+
2	Emil Vassev, Mike Hinchey, Joey Paquet	Towards an ASSL specification model for NASA swarm-based exploration missions.	SAC	2008	DBLP DOI BibTeX RDF	swarm missions, autonomic computing, formal specification language
2	Ian Bayley, Hong Zhu	Specifying Behavioural Features of Design Patterns in First Order Logic.	COMPSAC	2008	DBLP DOI BibTeX RDF	Modelling, UML, Formal Specification, Formal Method, Object Orientation, Design Pattern, First Order Logic, Class Diagram, Sequence Diagram
2	Ian Bayley, Hong Zhu	On the Composition of Design Patterns.	QSIC	2008	DBLP DOI BibTeX RDF	composition of design patterns, formal specification, Design patterns
2	Marcelo Finger, Renata Wassermann	Revising Specifications with CTL Properties Using Bounded Model Checking.	SBIA	2008	DBLP DOI BibTeX RDF	Model-checking, formal specification, belief revision, CTL
2	Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
2	Greg Bronevetsky, Bronis R. de Supinski	Complete Formal Specification of the OpenMP Memory Model.	International Journal of Parallel Programming	2007	DBLP DOI BibTeX RDF	parallel programming, theorem proving, OpenMP, formal systems
2	K. Lano	Formal Specification using Interaction Diagrams.	SEFM	2007	DBLP DOI BibTeX RDF
2	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez	Formal Specification of Multi-agent Systems by Using EUSMs.	FSEN	2007	DBLP DOI BibTeX RDF	Formal specification of multi-agent systems, e-commerce, autonomous agents
2	Hiroyuki Nakagawa, Kenji Taguchi, 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
2	Dominikus Herzberg, Nicola Marsden, Corinna Leonhardt, Peter Kübler, Hartmut Jung, Sabine Thomanek, Annette Becker	Using Formal Specification Techniques for Advanced Counseling Systems in Health Care.	USAB	2007	DBLP DOI BibTeX RDF	Human-Computer Interaction in Health Care, Counseling Systems, Formal Methods, Usability Engineering
2	Saeed Parsa, Omid Bushehrian	Formal Specification and Implementation of an Environment for Automatic Distribution.	GPC	2007	DBLP DOI BibTeX RDF
2	Jens Bendisposto, Michael Leuschel	A Generic Flash-Based Animation Engine for ProB.	B	2007	DBLP DOI BibTeX RDF	Animation, Tool Support, B-Method
2	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
2	Andrea Arcuri, Xin Yao	Coevolving programs and unit tests from their specification.	ASE	2007	DBLP DOI BibTeX RDF	formal specification, genetic programming, software testing, sorting, coevolution, automatic programming
2	Nelson Souto Rosa, Paulo Roberto Freire Cunha	A formal framework for middleware behavioural specification.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	middleware, formal specification, framework, LOTOS
2	Fathi Taibi, Jacob K. Daniel, Fouad Mohammed Abbou	On checking the consistency of Object-Z classes.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	model checking, formal specification, consistency, Object-Z, specification testing, model abstraction
2	Fangjun Wu	Formal specification of program slicing.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	program slicing, program dependence graph, Z language, system dependence graph
2	Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott	Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation.	PRDC	2006	DBLP DOI BibTeX RDF
2	Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna	A Formal Specification of the MIDP 2.0 Security Model.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF