Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with evolutionary prototyping in a large software project
ACM SIGSOFT Software Engineering Notes
Communications of the ACM
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
On the use of formal methods in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
Formal specification of a small example based on GKS
ACM Transactions on Graphics (TOG)
Functional Development of Database Applications
IEEE Transactions on Software Engineering
Modeling of data-processing software for generating and reusing their programs
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Tools to support formal methods
ICSE '89 Proceedings of the 11th international conference on Software engineering
Unreachable States in Model-Oriented Specifications
IEEE Transactions on Software Engineering
Formal Specification and Design Time Testing
IEEE Transactions on Software Engineering
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Invariant properties in a dialog system
Conference proceedings on Formal methods in software development
Formal Specification of a Look Manager
IEEE Transactions on Software Engineering
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Study of a generic graphics package for the development of various user interfaces
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Introducing data decomposition into VDM for tractable development of programs
ACM SIGPLAN Notices
OOSPEC: an executable object-oriented specification language
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Communications of the ACM
ICSE '85 Proceedings of the 8th international conference on Software engineering
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Predicative programming Part I
Communications of the ACM
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Comparison of Two Proof Critics: Power vs. Robustness
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Forward Simulation for Data Refinement of Classes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Abstract models of dialogue concepts
ICSE '84 Proceedings of the 7th international conference on Software engineering
Functional programming and logical programming for the telegram analysis problem
ICSE '84 Proceedings of the 7th international conference on Software engineering
On what exactly is going on when software is developed step-by-step
ICSE '84 Proceedings of the 7th international conference on Software engineering
A generalized approach to document markup
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
On the specification of behavioural constraints
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Data-driven implementation of data flow diagrams
ICSE '82 Proceedings of the 6th international conference on Software engineering
On the scope of static checking in definitional languages
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
ACM '81 Proceedings of the ACM '81 conference
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
ACM SIGPLAN Notices
Application of principles of event related open systems to business process reengineering
Computers and Industrial Engineering
Verification of non-functional programs using interpretations in type theory
Journal of Functional Programming
Methodologies for the development of knowledge-based systems, 1982–2002
The Knowledge Engineering Review
ACM SIGSOFT Software Engineering Notes
Introduction of a formal technique into a software development environment: early observations
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
Mining library specifications using inductive logic programming
Proceedings of the 30th international conference on Software engineering
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
Reasoning about programs via operational semantics: requirements for a support system
Automated Software Engineering
Architecture prototyping in the software engineering environment
IBM Systems Journal
IBM Systems Journal
Formal semantics of programming languages: VDL
IBM Journal of Research and Development
SLAN-4: a language for the specification and design of large software systems
IBM Journal of Research and Development
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Software Technology
Safe controllers design for industrial automation systems
Computers and Industrial Engineering
Programming from galois connections
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Strategic term rewriting and its application to a VDM-SL to SQL conversion
FM'05 Proceedings of the 2005 international conference on Formal Methods
Functions in information systems
ACM SIGMIS Database
Specification before satisfaction: the case for research into obtaining the right specification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
POST: a case study for an incremental development in rCOS
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Pointfree factorization of operation refinement
FM'06 Proceedings of the 14th international conference on Formal Methods
A value-based software process framework
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Abstraction as a unifying link for formal approaches to concurrency
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Data refinement in Isabelle/HOL
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Theories of Programming and Formal Methods
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.05 |