標(biāo)題: Titlebook: Software Engineering and Formal Methods; 18th International C Frank de Boer,Antonio Cerone Conference proceedings 2020 Springer Nature Swit [打印本頁] 作者: 巡洋 時(shí)間: 2025-3-21 17:07
書目名稱Software Engineering and Formal Methods影響因子(影響力)
書目名稱Software Engineering and Formal Methods影響因子(影響力)學(xué)科排名
書目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開度
書目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Software Engineering and Formal Methods被引頻次
書目名稱Software Engineering and Formal Methods被引頻次學(xué)科排名
書目名稱Software Engineering and Formal Methods年度引用
書目名稱Software Engineering and Formal Methods年度引用學(xué)科排名
書目名稱Software Engineering and Formal Methods讀者反饋
書目名稱Software Engineering and Formal Methods讀者反饋學(xué)科排名
作者: Fraudulent 時(shí)間: 2025-3-21 22:01 作者: Cleave 時(shí)間: 2025-3-22 02:47
https://doi.org/10.1007/978-3-030-58768-0architecting; architecture verification and validation; artificial intelligence; computer hardware; comp作者: 人工制品 時(shí)間: 2025-3-22 05:30 作者: TAP 時(shí)間: 2025-3-22 09:47 作者: Binge-Drinking 時(shí)間: 2025-3-22 13:16
Laura R. Humphrey,James Hamil,Joffrey Huguetards-App. Hier wird dem Leser exklusives Zusatzmaterial in Form von über 300 neuen Prüfungsfragen zur Verfügung gestellt, mit deren Hilfe man jederzeit den eigenen Leistungsstand ermitteln und Prüfungssimulationen durchführen kann..978-3-662-60505-9978-3-662-60506-6作者: maladorit 時(shí)間: 2025-3-22 19:03 作者: Optometrist 時(shí)間: 2025-3-23 00:34
Miroslav Bures,Matej Klima,Vaclav Rechtberger,Xavier Bellekens,Christos Tachtatzis,Robert Atkinson,Bakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: 解凍 時(shí)間: 2025-3-23 04:19
Dirk Beyer,Marie-Christine Jakobsakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: 斑駁 時(shí)間: 2025-3-23 05:51
Dirk Beyer,Marie-Christine Jakobs,Thomas Lembergerakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: Sarcoma 時(shí)間: 2025-3-23 11:46 作者: 闖入 時(shí)間: 2025-3-23 14:29
Matteo Camilli,Barbara Russoakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: BLAZE 時(shí)間: 2025-3-23 18:46
Didrik Lundberg,Roberto Guanciale,Andreas Lindner,Mads Damakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: immunity 時(shí)間: 2025-3-23 22:47
Anna Becchi,Alessandro Cimatti,Enea Zaffanellaakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: 抗生素 時(shí)間: 2025-3-24 05:19
Alberto Aranda García,María-Emilia Cambronero,Christian Colombo,Luis Llana,Gordon J. Paceakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: 或者發(fā)神韻 時(shí)間: 2025-3-24 09:54 作者: Cardiac-Output 時(shí)間: 2025-3-24 12:30
Nuno Burnay,Antónia Lopes,Vasco T. Vasconcelosakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: 護(hù)航艦 時(shí)間: 2025-3-24 16:53 作者: monologue 時(shí)間: 2025-3-24 21:51
Livia Lestingi,Mehrnoosh Askarpour,Marcello M. Bersani,Matteo Rossiakte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: ornithology 時(shí)間: 2025-3-25 00:07
akte Algebra, Folgen und Reihen, reelle Funktionen, Differential- und Integralrechnung mit?Anwendungen, Vektorr?ume, lineare Abbildungen und Gleichungssysteme, affine Geometrie, Mehrdimensionale Differential- und Integralrechnung, Einführung in die Stochastik..978-3-540-20521-0978-3-540-35003-3作者: 放牧 時(shí)間: 2025-3-25 04:41
Conference proceedings 2020 with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com..作者: pulmonary 時(shí)間: 2025-3-25 11:14 作者: optional 時(shí)間: 2025-3-25 13:49
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK, a variety of programming languages – to produce implementations in SPARK. SPARK is both a programming language and associated set of verification tools, so it has the potential to enable the “end-to-end” verification we desire. In this paper, we discuss our experience to date using SPARK to impleme作者: Innocence 時(shí)間: 2025-3-25 15:57 作者: 記成螞蟻 時(shí)間: 2025-3-25 22:29
: Conditional Model Checking via Reducers and Folders,le. But for a systematic investigation of the reducer concept, we need several reducers. To fill this gap, we developed ., a Framework for exploring different REDucers. Given an existing reducer, . allows us to derive various new reducers, which differ in their trade-off between size and precision o作者: pacific 時(shí)間: 2025-3-26 03:30 作者: 換話題 時(shí)間: 2025-3-26 08:18 作者: 無彈性 時(shí)間: 2025-3-26 10:56
Laura R. Humphrey,James Hamil,Joffrey Hugueth?lt zahlreiche Beispiele und übungsaufgaben mit ausführlich.Dieses Buch führt Sie auf leicht verst?ndliche Weise von den g?ngigen Bereichen der Linearen Algebra und Analysis bis hin zur Stochastik und Numerik. Es ist in einem unverkrampften und ermutigenden, bisweilen sogar unterhaltsamen Stil gesc作者: gusher 時(shí)間: 2025-3-26 13:47
Jonathan Julián Huerta y Muniveh?lt zahlreiche Beispiele und übungsaufgaben mit ausführlich.Dieses Buch führt Sie auf leicht verst?ndliche Weise von den g?ngigen Bereichen der Linearen Algebra und Analysis bis hin zur Stochastik und Numerik. Es ist in einem unverkrampften und ermutigenden, bisweilen sogar unterhaltsamen Stil gesc作者: 袖章 時(shí)間: 2025-3-26 16:55 作者: 金哥占卜者 時(shí)間: 2025-3-26 23:16
Dirk Beyer,Marie-Christine Jakobsatik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universit?ten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzen作者: 反應(yīng) 時(shí)間: 2025-3-27 02:03 作者: 憂傷 時(shí)間: 2025-3-27 05:55
Renata Martins Gomes,Bernhard Aichernig,Marcel Baunachatik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universit?ten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzen作者: cunning 時(shí)間: 2025-3-27 12:12 作者: MONY 時(shí)間: 2025-3-27 16:23 作者: Debility 時(shí)間: 2025-3-27 19:28
Anna Becchi,Alessandro Cimatti,Enea Zaffanellaatik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universit?ten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzen作者: Exclude 時(shí)間: 2025-3-27 22:40
Alberto Aranda García,María-Emilia Cambronero,Christian Colombo,Luis Llana,Gordon J. Paceatik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universit?ten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzen作者: 幼稚 時(shí)間: 2025-3-28 04:01
Freek Verbeek,Pierre Olivier,Binoy Ravindranatik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universit?ten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzen作者: 借喻 時(shí)間: 2025-3-28 06:36 作者: 橢圓 時(shí)間: 2025-3-28 13:52 作者: insightful 時(shí)間: 2025-3-28 18:24
Livia Lestingi,Mehrnoosh Askarpour,Marcello M. Bersani,Matteo Rossiatik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universit?ten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzen作者: Constrain 時(shí)間: 2025-3-28 22:14 作者: 密切關(guān)系 時(shí)間: 2025-3-29 00:34
Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector,ncrete bug in the language. Specifically, we discovered and fixed a discrepancy between the Go memory model and the Go data-race detector implementation—the discrepancy led to the under-reporting of data races in Go programs. Here, we share our experience applying formal methods on software that powers infrastructure used by millions of people.作者: 手銬 時(shí)間: 2025-3-29 03:20
Runtime Verification of Contracts with ,ool for monitoring of such contracts. We present a verification algorithm used to monitor contracts written in this logic and an airport agreement is used as a case study to illustrate how such agreements and contracts can be monitored using our tool with reasonable processing costs.作者: Juvenile 時(shí)間: 2025-3-29 09:42 作者: invulnerable 時(shí)間: 2025-3-29 11:59
A Formal Modeling Approach for Portable Low-Level OS Functionality,y introduced in late refinements, which allows us to reuse most of the RTOS model and proofs for several target platforms. As a proof of concept, we refine the generic model to two different architectures and prove safety and liveness properties of the models.作者: abnegate 時(shí)間: 2025-3-29 17:44 作者: Measured 時(shí)間: 2025-3-29 23:45 作者: 使困惑 時(shí)間: 2025-3-30 01:12 作者: gerrymander 時(shí)間: 2025-3-30 06:41
Multi-purpose Syntax Definition with SDF3, scannerless generalized parsing of the full class of context-free grammars, error recovery, layout-sensitive parsing, parenthesization and formatting, and syntactic completion. This paper gives a high level overview of SDF3 by means of examples and provides a guide to the literature for further details.作者: Limited 時(shí)間: 2025-3-30 09:58
0302-9743 eld in Amsterdam, The Netherlands, in September 2020..The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk?were carefully reviewed and selected from 58 submissions. The papers?cover a large variety of topics,?including testing, formal verification, program anal作者: JOT 時(shí)間: 2025-3-30 15:14 作者: Isometric 時(shí)間: 2025-3-30 20:10
Statically Checking REST API Consumers,a in REST calls and misuse of the results from such calls. SRS features a syntax similar to JavaScript and is equipped with a rich collection of types and primitives to natively support REST calls that are statically validated against specifications of the corresponding APIs written in the HeadREST language.作者: Discrete 時(shí)間: 2025-3-30 23:09
Formal Verification of Human-Robot Interaction in Healthcare Scenarios,tation format for the scenario, from which the full formal model is automatically generated and verified through the Uppaal tool. The outcome is an estimation of the probability of success of the mission, based on which the user can refine the model if the result is not satisfactory.作者: FLOAT 時(shí)間: 2025-3-31 02:33 作者: 大量 時(shí)間: 2025-3-31 06:35
Multi-purpose Syntax Definition with SDF3,ion rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose interpretation of syntax definitions, including derivation of type schemas for abstract syntax tree representations,作者: Abjure 時(shí)間: 2025-3-31 13:05
Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector,detector inspired by the Go specification. In this paper, we describe how our theoretical research guided us in the process of finding and fixing a concrete bug in the language. Specifically, we discovered and fixed a discrepancy between the Go memory model and the Go data-race detector implementati作者: 掙扎 時(shí)間: 2025-3-31 15:19 作者: 贊成你 時(shí)間: 2025-3-31 20:20
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK, “correct-by-construction” synthesis approaches. Recently, there has been interest in synthesis from Generalized Reactivity(1) or GR(1) specifications, since the required computational complexity is relatively low, and several tools exist for synthesis from GR(1) specifications. However, while these作者: NAVEN 時(shí)間: 2025-4-1 00:05
Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification,rates the theory stacks of linear algebra and analysis and substantially adds content to both of them. It also serves to improve extant verification components for hybrid systems by increasing proof automation, removing certification procedures, and decreasing the number of proof obligations. We sho作者: 引水渠 時(shí)間: 2025-4-1 05:53 作者: GLEAN 時(shí)間: 2025-4-1 06:19 作者: 貴族 時(shí)間: 2025-4-1 14:13
