The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase formal specification (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1979 (22) 1980-1982 (19) 1983-1985 (28) 1986-1987 (30) 1988 (26) 1989 (30) 1990 (64) 1991 (56) 1992 (63) 1993 (51) 1994 (81) 1995 (196) 1996 (109) 1997 (121) 1998 (127) 1999 (101) 2000 (167) 2001 (94) 2002 (137) 2003 (149) 2004 (151) 2005 (159) 2006 (122) 2007 (154) 2008 (125) 2009 (91) 2010 (49) 2011 (35) 2012 (45) 2013 (27) 2014 (37) 2015 (20) 2016 (31) 2017 (23) 2018 (20) 2019 (1)
Publication types (Num. hits)
article(595) book(7) incollection(11) inproceedings(2101) phdthesis(36) proceedings(11)
Venues (Conferences, Journals, ...)
IEEE Trans. Software Eng.(149) ZB(118) ZUM(85) ICECCS(46) APSEC(43) RE(35) ICSE(34) WIFT(34) B(33) ICFEM(30) FME(25) COMPSAC(24) ASE(22) Formal Asp. Comput.(22) FORTE(21) SAC(18) More (+10 of total 877)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5345 occurrences of 1911 keywords

Results
Found 2761 publication records. Showing 2761 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
76Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes Applying Formal Specification in Industry. Search on Bibsonomy IEEE Software The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
68Ken Robinson Reconciling Axiomatic and Model-Based Specifications Using the B Method. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF formal specification, refinement, B Method, axiomatic, model-based
64Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira Formal specification applied to industrial LAN's design. Search on Bibsonomy EUROMICRO The full citation details ... 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
63Ricky W. Butler Formal Methods at NASA Langley. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
62K. T. Narayana, Sanjeev Dharap Formal Specification of a Look Manager. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
60François Lustman Specifying Transaction-Based Information Systems with Regular Expressions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
59Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli A Formal Framework for ASTRAL Intralevel Proof Obligations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
59Robert B. France Semantically Extended Data Flow Diagrams: A Formal Specification Tool. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF formal specification tool, semantic decompositions, formal specification, systems analysis, diagrams, data transforms, semantic properties, dataflow diagram, application functionality
57Lichen Zhang, Lihua Wang Aspect-oriented formal specification for multimedia systems. Search on Bibsonomy AICCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Michael Johnson, Robert D. Rosebrugh View Updatability Based on the Models of a Formal Specification. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF formal specification, database, information system, conceptual modelling, data model, category theory, View update
56Eduardo B. Fernández, Robert B. France Formal specification of real-time dependable systems. Search on Bibsonomy ICECCS The full citation details ... 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
56Chie Dou Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects. Search on Bibsonomy EUROMICRO The full citation details ... 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
55Danny B. Lange A Formal Approach to Hypertext using Post-Prototype Formal Specification. Search on Bibsonomy VDM Europe The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
53Bettina Sucrow Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. Search on Bibsonomy ASE The full citation details ... 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
53Shuguang Li, Qing Jiang, Chris George Combining case-based and model-based reasoning: a formal specification. Search on Bibsonomy APSEC The full citation details ... 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
51Kentaro Go, Norio Shiratori A Decomposition of a Formal Specification: An Improved Constraint Oriented Method. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF constraint-oriented method, Formal specification, decomposition, bisimulation, equivalence, LOTOS
51Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore Formal Specification and Design Time Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
48Elena Troubitsyna Integrating Safety Analysis into Formal Specification of Dependable Systems. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF failure mode and effect analysis, formal specification, statecharts, actions systems
47S. Joy Mountford Designers: meet your users (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Apple Computer, HyperCard, Inc
47Marcy Telles Updating an older interface. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF WordStar
47Hans Brunner A snapshot of natural language interfaces (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
47Neff Walker, John B. Smelcer A comparison of selection time from walking and pull-down menus. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
47Jakob Nielsen Designing for international use (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
47Terry Winograd What can we teach about human-computer interaction? (plenary address). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
46Aki Watanabe, Ken Sakamura A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. Search on Bibsonomy ICSE The full citation details ... 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
46Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora Formal Specification-based Online Monitoring. Search on Bibsonomy ICECCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
45Juan-José Martins, Jean-Pierre Hubaux A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering
44Kanth Miriyala, Mehdi T. Harandi Automatic Derivation of Formal Software Specifications From Informal Descriptions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process
43Roger Duke, Tim Miller, Paul A. Strooper Integrating Formal Specification and Software Verification and Validation. Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Jan van Katwijk, W. J. Toetenel Comparing formal specifications by measuring. Search on Bibsonomy RTCSA The full citation details ... 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
43Xiaoqing Frank Liu, John Yen An Analytic Framework for Specifying and Analyzing Imprecise Requirements. Search on Bibsonomy ICSE The full citation details ... 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
43Kevin Lano Specifying static analysis tools using formal methods. Search on Bibsonomy ICECCS The full citation details ... 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
43Changlong Zhu, Rasha Morsi Formal specification of FFHMIPv6 using PVS. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF FFHMIPv6 packets, formal methods, handover, PVS
43John M. Rushby, Friedrich W. von Henke Formal Verification of Algorithms for Critical Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
43Nancy G. Leveson Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. Search on Bibsonomy HSCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Roderick McConnell, Dominique Lavenier Prototyping of VLSI components from a formal specification. Search on Bibsonomy VLSI Signal Processing The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Synchronous Data Flow, Formal Specification, VLSI
43King Sing Cheung, K. O. Chow, T. Y. Cheung Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal specification, formal method, object-oriented model
42Anthony Hall What Does Industry Need From Formal Specification Techniques? Search on Bibsonomy WIFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux Formal Composition of Distributed Scenarios. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Scenario-based approach, Scenario composition, Distributed systems, Formal specification, Use case, FSM
41Chia-Chu Chiang, Joseph E. Urban Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. Search on Bibsonomy COMPSAC The full citation details ... 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
41Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori A flexible protocol synthesis method for adopting requirement changes. Search on Bibsonomy ICPADS The full citation details ... 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
41Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre Formal specification of CORBA services: experience and lessons learned. Search on Bibsonomy OOPSLA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF distributed systems, CORBA, CORBA, high-level Petri nets, behavioral specification
41Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
41Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor Formal Methods Pilot Project. Search on Bibsonomy APSEC The full citation details ... 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
41Gilbert Babin, François Lustman, Peretz Shoval Specification and Design of Transactions in Information Systems: A Formal Approach. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
40Greg Bronevetsky, Bronis R. de Supinski Complete Formal Specification of the OpenMP Memory Model. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2007 DBLP  DOI  BibTeX  RDF parallel programming, theorem proving, OpenMP, formal systems
40David Gray The Formal Specification of a Small Bookshop Information System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF small bookshop information system, scheme calculus, software engineering, formal specification, programming theory, set theory
40Heather Alexander Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches". Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Formal specification, prototyping
40Chris Matthews, Paul A. Swatman Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF requirements determination, formal specification, Z, fuzzy set theory
40Chunyang Yuan, Yeping He, Jianbo He, Zhouyi Zhou A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty. Search on Bibsonomy Inscrypt The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Verification, Formal Specification, RBAC, Separation of Duty
40Christine Poerschke, David E. Lightfoot, John L. Nealon A Formal Specification in B of a Medical Decision Support System. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi 0001, Hirokazu Yatsu, Alan Wills Formal specification of Catalysis frameworks. Search on Bibsonomy APSEC The full citation details ... 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
40Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui Formal Specification of Communication Protocols with Object-Based ECATNets. Search on Bibsonomy EUROMICRO The full citation details ... 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
40Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour Formal specification and verification of communication protocols using automated tools . Search on Bibsonomy ICECCS The full citation details ... 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
40J. William Atwood, Y. Zhang A definition of the XTP service and its formal specification. Search on Bibsonomy LCN The full citation details ... 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
39Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, Markus Pistauer Specification-based Verification of Embedded Systems by Automated Test Case Generation. Search on Bibsonomy DIPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Sophie Coudert, Gilles Bernot, Pascale Le Gall Hierarchical Heterogeneous Specifications. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification
38Satoshi Yamane Formal Timing Verification Techniques for Distributed System . Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF language inclusion algorithm, formal specification, timing verification, timed automaton
38Zhicheng Wen, Huaikou Miao, Hongwei Zeng Generating Proof Obligation to Verify Object-Z Specification. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal specification, Object-Z, proof obligation
38Sandrine Blazy, Frédéric Gervais, Régine Laleau Reuse of Specification Patterns with the B Method. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Design pattern, reuse, B, specification pattern
38Sun-Jen Huang, Richard Lai Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability
38Zhenyu Qian A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. Search on Bibsonomy Formal Syntax and Semantics of Java The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Soon-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. Search on Bibsonomy APSEC The full citation details ... 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
38Alena Griffiths Modular reasoning in Object-Z. Search on Bibsonomy APSEC The full citation details ... 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
38Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale DCCA: a versatile paradigm for the description and development of concurrent communicating systems. Search on Bibsonomy HICSS (2) The full citation details ... 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
38Robin A. Nicholl Unreachable States in Model-Oriented Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
38Helmut K. Berg, Wolfgang K. Giloi (eds.) The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
38Donald L. Boyd, Antonio Pizzarello, William T. Wood Abstraction and Refinement in RDM. Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38Donald L. Boyd, Antonio Pizzarello, William T. Wood An Overview of RDM: Rational Design Methodology. Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38Helmut K. Berg Towards a Uniform Design Methodology for Software, Firmware, and Hardware. Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38Helmut K. Berg, Wolfgang K. Giloi Hierarchical Specification of Abstract Data Types. Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38Helmut K. Berg, William R. Franta, Thomas G. Moher Correctness of Software - An Overview. Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38William R. Franta, William Earl Boebert, Helmut K. Berg An Approach to the Specification of Distributed Software. Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg Writing Simulatable Specifications in SPECIAL. Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38Mark Moriconi Interactive Design and Verification: A Message Switching Network Example. Search on Bibsonomy The Use of Formal Specification of Software The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38David A. Basin, Frank Rittinger, Luca Viganò 0001 A Formal Analysis of the CORBA Security Service. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Fevzi Belli, Karl-Erwin Großpietsch Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
38Jeannette M. Wing Using Larch to Specify Avalon/C++ Objects. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch
38David W. Bustard, P. J. Lundy Enhancing soft systems analysis with formal modelling. Search on Bibsonomy RE The full citation details ... 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
37Marielle Doche, Andrew M. Gravell Extraction of Abstraction Invariants for Data Refinement. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF failure refinement, distributed system, Formal specification, CSP, B, data refinement
37Hassan Gomaa, Shaoying Liu, Michael E. Shin Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. Search on Bibsonomy ICECCS The full citation details ... 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
37Nancy G. Leveson Completeness in formal specification language design for process-control systems. Search on Bibsonomy FMSP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF completeness, process-control, Formal specification language
37J. William Atwood, Morteza Ghodrat, Dariusz Tasak Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. Search on Bibsonomy LCN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers
37Kate Finney Mathematical Notation in Formal Specification: Too Difficult for the Masses? Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF reading Z, Formal specification, mathematics
36Deirdre Carew, Chris Exton, Jim Buckley An empirical investigation of the comprehensibility of requirements specifications. Search on Bibsonomy ISESE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele Generating an action notation environment from Montages descriptions. Search on Bibsonomy STTT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Formal specification of programming languages, Generating programming environments and tools, Abstract state machines, Montages, Action semantics
36Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik SVG Web Environment for Z Specification Language. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Z formal specification language, Web based tool support, Scalable Vector Graphics
35Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth 0002, Steffen Schlager, Peter H. Schmitt The KeY tool. Search on Bibsonomy Software and System Modeling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL
35Hiroyuki Nakagawa, Kenji Taguchi 0001, Shinichi Honiden Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal methods, model transformation, requirements analysis
35Néstor Cataño, Marieke Huisman Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF ESC/Java, Java, specification, smart cards, static checking
35Raymond E. Miller, Z. U. Chaudry On estimating protocol performance from a formal specification. Search on Bibsonomy IPCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Rose F. Gamble Integrating a formal specification course with a software projects course via an editing tool. Search on Bibsonomy SIGCSE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Z
35David A. Duce, E. V. C. Fielding, Lynn S. Marshall Formal specification of a small example based on GKS. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF GKS
35Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications. Search on Bibsonomy HPDC The full citation details ... 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
35Simon N. Foley, Jeremy Jacob Specifying security for CSCW systems. Search on Bibsonomy CSFW The full citation details ... 1995 DBLP  DOI  BibTeX  RDF confidentiality security, formal specification, formal specification, specification, groupware, safety, security of data, functionality, CSCW systems
35Babak Hamidzadeh, Shashi Shekhar Specification and Analysis of Real-time Problem Solvers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
35Jens Bendisposto, Michael Leuschel A Generic Flash-Based Animation Engine for ProB. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Animation, Tool Support, B-Method
35Kanna Shimizu, David L. Dill, Alan J. Hu Monitor-Based Formal Specification of PCI. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35N. Petalidis, D. S. Gill The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. Search on Bibsonomy ICFEM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2761 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license