On parallelizing and optimizing the implementation of communication protocols
IEEE/ACM Transactions on Networking (TON)
Predicting Fault-Prone Software Modules in Telephone Switches
IEEE Transactions on Software Engineering
IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Application of high level interface-based design to telecommunications system hardware
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Formal methods for distributed processing
Early Risk-Management by Identification of Fault-prone Modules
Empirical Software Engineering
Quantitative Analysis of Faults and Failures in a Complex Software System
IEEE Transactions on Software Engineering
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Derivation of Backup Service Management Applications from Service and System Models
DSOM '99 Proceedings of the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Active Technologies for Network and Service Management
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Formal Specification and Proof Techniques for Mixed Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Building Tools for LOTOS Symbolic Semantics in Maude
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
On Combining Functional Verification and Performance Evaluation Using CADP
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
From Informal Requirements to COOP: A Concurrent Automata Approach
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Incremental Specification of Telecommunication Services
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
SystemC
Interaction Protocol Design: Application to an Agent-Based Teleteaching Project
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
Application of multivariate analysis for software fault prediction
Software Quality Control
Using LOTOS in the specification of industrial bus communication protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Smart debugging software architectural design in SDL
Journal of Systems and Software - Special issue: Computer software & applications
Implementing declarative overlays
Proceedings of the twentieth ACM symposium on Operating systems principles
Verification of programs with half-duplex communication
Information and Computation
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
Interactive Transparent Networking: Protocol meta modeling based on EFSM
Computer Communications
Verification of programs with half-duplex communication
Information and Computation
A formal specification language for agent conversations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Context independent unique sequences generation for protocol testing
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
A framework for verifying data-centric protocols
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Verification of communication protocols using abstract interpretation of FIFO queues
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Teaching formal methods: lessons to learn
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Integrating process modelling and soft systems analysis
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Extending the UML with a multicast synchronisation
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Development of the computer language classification knowledge portal
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
| Hi-index | 0.01 |
From the Publisher:Deliberately non-mathematical, this user-friendly tutorial contains extensive introductory information on formal methods and the three Formal Description Techniques (FDTs). Easy-to-follow instructions demonstrate how to develop specifications and implementations using FDTs. Features valuable material on existing tools and gives references to publications, workshops, conferences and symposia where you can obtain the latest information on FDTs, their applications and tools. Copiously illustrated with examples.