Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[ספר][B] Nets, terms and formulas: three views of concurrent processes and their relationship
ER Olderog - 1992 - dl.acm.org
Nets, terms and formulas | Guide books skip to main content ACM Digital Library home ACM
Association for Computing Machinery corporate logo Google, Inc. (search) Advanced Search …
Association for Computing Machinery corporate logo Google, Inc. (search) Advanced Search …
Provably correct systems
The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical
basis for development of embedded, real-time, computer systems. This survey paper …
basis for development of embedded, real-time, computer systems. This survey paper …
Specware: Formal support for composing software
YV Srinivas, R Jüllig - International Conference on Mathematics of …, 1995 - Springer
Specware supports the systematic construction of formal specifications and their stepwise
refinement into programs. The fundamental operations in Specware are that of composing …
refinement into programs. The fundamental operations in Specware are that of composing …
Agile Modeling with the UML
This paper discusses a model-based approach to software development. It argues that an
approach using models as central development artifact needs to be added to the portfolio of …
approach using models as central development artifact needs to be added to the portfolio of …
Formal program construction by transformations-computer-aided, intuition-guided programming
FL Bauer, B Moller, H Partsch… - IEEE Transactions on …, 1989 - ieeexplore.ieee.org
Formal program construction by transformations is a method of software development in
which a program is derived from a formal problem specification by manageable, controlled …
which a program is derived from a formal problem specification by manageable, controlled …
OPAL: Design and implementation of an algebraic programming language
The algebraic programming language OPAL has been designed as a testbed for
experiments with the specification and development of functional programs. The language …
experiments with the specification and development of functional programs. The language …
The Amsterdam manifesto on OCL
In November 1998 the authors participated in a two-day workshop on the Object Constraint
Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the …
Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the …
The HERMIT in the machine: A plugin for the interactive transformation of GHC core language programs
The importance of reasoning about and refactoring programs is a central tenet of functional
programming. Yet our compilers and development toolchains only provide rudimentary …
programming. Yet our compilers and development toolchains only provide rudimentary …
Transformational program development in a particular problem domain
H Partsch - Science of Computer Programming, 1986 - Elsevier
TRANSFORMATIONAL PROGRAM DEVELOPMENT IN A PARTICULAR PROBLEM
DOMAIN H. PARTSCH Contents 1. Introduction Transformational program Page 1 Science …
DOMAIN H. PARTSCH Contents 1. Introduction Transformational program Page 1 Science …
Software and system modeling based on a unified formal semantics
Modeling and documentation are two essential ingredients for the engineering discipline of
software development. During the last twenty years a wide variety of description and …
software development. During the last twenty years a wide variety of description and …