Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Objects concepts and bibliography
ACM SIGPLAN Notices
Arrays and pointers considered harmful
ACM SIGPLAN Notices
Deriving modular designs from formal specifications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A practical approach to software engineering using Z and the refinement calculus
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
ACM SIGPLAN OOPS Messenger
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Invariants, Frames and Postconditions: A Comparison of the VDM and B Notations
IEEE Transactions on Software Engineering
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Beyond VHDL: textual formalisms, visual techniques, or both?
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Decomposition in Real-Time Safety-Critical Systems
Real-Time Systems
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Light analysis of complex systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Crossroads - Special issue on software engineering
Building programs in the network of tasks model
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Towards semantics of self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Refinement of Z specifications using reusable software components in Ada
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
B: towards zero defect software
High integrity software
A refinement-based approach to deriving train controllers
High integrity software
State-based approaches: from Z to object-Z
Formal methods for distributed processing
A formal model of real-time program compilation
Theoretical Computer Science
Searching for a Global Search Algorithm
Automated Software Engineering
A Refinement Theory that Supports Reasoning About Knowledge and Time
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Developing Quality Software Systems Using the SOFL Formal Engineering Method
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Unifying Theories of Parallel Programming
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Towards a Precise Semantics for Object-Oriented Modeling Techniques
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Formal Techniques for Java Programs
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
On Refinement and Temporal Annotations
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V
Deriving Software Specifications from Event Based Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Reconciling Axiomatic and Model-Based Specifications Using the B Method
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Software Construction by Stepwise Feature Introduction
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Timing Analysis of Assembler Code Control-Flow Paths
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verifying Consistency and Validity of Formal Specifications by Testing
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Developing Components in the Presence of Re-entrance
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Reasoning About Interactive Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
From Kleene Algebra to Refinement Algebra
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Enforcing behavior with contracts
Programming methodology
CSSV: towards a realistic tool for statically detecting all buffer overflows in C
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Enhancing cleanroom techniques with refinement calculus
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Specifying Java Frameworks Using Abstract Programs
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Applying SOFL to Specify A Railway Crossing Controller for Industry
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Requirements interaction management
ACM Computing Surveys (CSUR)
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Assertions: a personal perspective
Software pioneers
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Advantages and limits of formal approaches for ultra-high dependability
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Power simulation and its relation to traces and failures refinement
Theoretical Computer Science
Mathematical Structures in Computer Science
Verification of non-functional programs using interpretations in type theory
Journal of Functional Programming
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
On Data Distributions in the Construction of Parallel Programs
The Journal of Supercomputing
ACM SIGPLAN Notices
Cost-based analysis of probabilistic programs mechanised in HOL
Nordic Journal of Computing
Encyclopedia of Computer Science
Concurrent program design in the extended theory of Owicki and Gries
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Software Refinement with Perfect Developer
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Formal specification and refinement of a safe train control function
Formal methods for embedded distributed systems
High assurance system software
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Modelling angelic and demonic nondeterminism with multirelations
Science of Computer Programming
Specifying and analyzing security automata using CSP-OZ
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Theoretical Computer Science
Cost-efficient parallel programs based on set-distributions for polynomial interpolation
Journal of Parallel and Distributed Computing
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
Enhancing Semantic Web Services with Inheritance
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
An Introduction to Grammar Convergence
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
STREAM: A First Programming Process
ACM Transactions on Computing Education (TOCE)
A simple refinement-based method for constructing algorithms
ACM SIGCSE Bulletin
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks
Journal of Network and Computer Applications
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Test Case Generation by Contract Mutation in Spec#
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Mathematics for reasoning about loop functions
Science of Computer Programming
Foundations of Concurrent Kleene Algebra
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Guess and Verify --- Back to the Future
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Formality, Evolution, and Model-driven Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Splitting Atoms Safely
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal derivation of spanning trees algorithms
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Intuitionistic refinement calculus
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Alternating states for dual nondeterminism in imperative programming
Theoretical Computer Science
A formal specification of the MIDP 2.0 security model
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Property transformation under specification change
Frontiers of Computer Science in China
Recovering grammar relationships for the Java Language Specification
Software Quality Control
Model checking using SMT and theory of lists
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Minds and Machines
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
Hume box calculus: robust system development through software transformation
Higher-Order and Symbolic Computation
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
An imperative extension to alloy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Compositional specification and analysis of cost-based properties in probabilistic programs
FM'05 Proceedings of the 2005 international conference on Formal Methods
Strategic term rewriting and its application to a VDM-SL to SQL conversion
FM'05 Proceedings of the 2005 international conference on Formal Methods
Quantitative temporal logic mechanized in HOL
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Changing programs correctly: refactoring with specifications
FM'06 Proceedings of the 14th international conference on Formal Methods
Mappings make data processing go 'round
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Algebra of monotonic boolean transformers
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Design and verification of a coherent shared memory
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A simple algorithm specification language and its application
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
An unbounded nondeterministic model for CSP-like Languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Invariant relations: an automated tool to analyze loops
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Investigating miraculous specifications
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Experiences of formal methods in 'conventional' software and systems design
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Refinement plans for informed formal design
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Synthesizing iterators from abstraction functions
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Proved-patterns-based development for structured programs
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Automated verification of code automatically generated from Simulink®
Automated Software Engineering
Set-theoretic models of computations
Theories of Programming and Formal Methods
Generic models of the laws of programming
Theories of Programming and Formal Methods
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.00 |