Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Foundations of session types and behavioural contracts
Behavioural type systems, usually associated to concurrent or distributed computations,
encompass concepts such as interfaces, communication protocols, and contracts, in addition …
encompass concepts such as interfaces, communication protocols, and contracts, in addition …
An overview of JML tools and applications
Abstract The Java Modeling Language (JML) can be used to specify the detailed design of
Java classes and interfaces by adding annotations to Java source files. The aim of JML is to …
Java classes and interfaces by adding annotations to Java source files. The aim of JML is to …
[کتاب][B] Deductive software verification-the key book
• There are IDEs for KeY, including an Eclipse extension, that make it easy to keep track of
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …
Cyber physical systems: Design challenges
Cyber-Physical Systems (CPS) are integrations of computation and physical processes.
Embedded computers and networks monitor and control the physical processes, usually …
Embedded computers and networks monitor and control the physical processes, usually …
[کتاب][B] Introduction to software testing
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
[کتاب][B] Refactoring for software design smells: managing technical debt
G Suryanarayana, G Samarthyam, T Sharma - 2014 - books.google.com
Awareness of design smells–indicators of common design problems–helps developers or
software engineers understand mistakes made while designing, what design principles …
software engineers understand mistakes made while designing, what design principles …
[کتاب][B] Practical foundations for programming languages
R Harper - 2016 - books.google.com
This text develops a comprehensive theory of programming languages based on type
systems and structural operational semantics. Language concepts are precisely defined by …
systems and structural operational semantics. Language concepts are precisely defined by …
CloudSim plus: a cloud computing simulation framework pursuing software engineering principles for improved modularity, extensibility and correctness
Cloud computing is an established technology to provide computing resources on demand
that currently faces several challenges. Main challenges include management of shared …
that currently faces several challenges. Main challenges include management of shared …
[کتاب][B] The object constraint language: getting your models ready for MDA
JB Warmer, AG Kleppe - 2003 - books.google.com
Successful software developers have long recognized that proper modeling is a key element
to the development process that leads to creating robust software. For the past decade, the …
to the development process that leads to creating robust software. For the past decade, the …
[کتاب][B] Modeling with UML
B Rumpe - 2016 - Springer
Designing large software systems is one of the big technical challenges of our time. The
scope and complexity of software have now reached dimensions that push all established …
scope and complexity of software have now reached dimensions that push all established …