javascript-constructions:Javascript 架构解决方案和代码重用模式

preview
共10个文件
js：7个
gitignore：1个
md：1个
JavaScript
需积分: 5 0 下载量 55 浏览量 2021-06-19 01:14:57 上传 评论 收藏 25KB ZIP 举报
资源详情
资源评论
评论 收藏
晔晔匠
  • 粉丝: 26
  • 资源: 4650
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

zip

pytonik:Pytonik是构建用于增强Web开发的python框架，还可以帮助Web开发人员使用更少的代码构建更多的应用程序。 它使用基于模型视图控制器（MVC）构建的表达性架构模式和成捆的组件在部署框架时进行重用

pytonik Pytonik是一个python框架，旨在增强快速简便的Web开发，帮助Web开发人员使用更少的代码构建更多的应用程序。 该框架使用在模型-视图-控制器（MVC）上构建的Expressive Architecture Pattern，以及在部署框架时重用的组件捆绑。 如何设定 Pytonik提供了一个用于部署的内置服务器，并且可以使用CGI在WAMP，XAMPP，LAMP或MAM
zip

StaticSpotter:Reclipse 是一个逆向工程工具，用于自动检测源代码中的模式。 模式是软件设计中常见问题的通用、可重用解决方案。 检测模式出现有助于理解一段代码，从而更深入地了解软件

StaticSpotter (Reclipse) Reclipse 是一个逆向工程工具，用于自动检测源代码中的模式。 模式是软件设计中常见问题的通用、可重用解决方案。 检测模式出现有助于理解一段代码，从而更深入地了解软件。 Reclipse 提供了静态和动态模式检测。 Reclipse 中的静态分析使用基于对象图的模式规范语言，即所谓的结构模式。 静态分析需要软件系统的源代码和结构模式库。 推
zip

DesignPatternsNewExamples:软件设计模式是在软件设计中给定上下文中对常见问题的通用，可重用的解决方案。 它不是可以直接转换为源代码或机器代码的最终设计

设计模式新示例 软件设计模式是在软件设计中给定上下文中对常见问题的通用，可重用的解决方案。 它不是可以直接转换为源代码或机器代码的最终设计。
zip

peace-constructions:Web App for Peace Constructions

项目文件列表中提到的`peace-constructions-main`很可能是指项目的主要源代码目录。在一般的开源项目中，这样的命名通常包含了项目的根目录，其中可能包括以下文件和文件夹： 1. `package.json`：这个文件记录了...
zip

usada-kensetsu:二手建筑迷网站

1. **DOM操作**：JavaScript可以操纵文档对象模型（DOM），改变网页的结构、内容和样式。 2. **事件处理**：监听用户的点击、滚动、输入等行为，并相应地触发函数执行。 3. **AJAX请求**：异步发送和接收服务器数据...
zip

cpp-easy：通过示例学习C ++ 20

《cpp-easy：通过示例学习C++ 20》 C++是一种广泛使用的、高效且灵活的编程语言，尤其在系统软件、游戏开发、金融服务等领域有着广泛应用。...在实践中不断探索和运用，将有助于提升我们的编程技能和解决问题的能力。
zip

learn-to-prove:软件基础练习

这涉及到Coq的“逻辑框架”——Coquand和Huet的Calculus of Constructions。 通过"learn-to-prove"项目，你将有机会实践如何用Coq来表达和验证算法正确性、数据结构性质，甚至整个程序的正确性。这在形式化验证、...
zip

system-f-parametricity-model:Coq 中关系参数系统 F 的模型

通过深入研究这个项目的源代码和文档，用户可以学习如何在Coq中处理系统F类型系统，以及如何利用参数性进行形式化验证。 总的来说，系统F的模型在Coq中的实现为形式化证明和类型系统的分析提供了一个强大的平台，它...
zip

ssreflect-1.4:反射

"ssreflect-1.4-master"这个文件名表明这是一个SSReflect的源码仓库主分支，包含了库的所有源代码和相关文档。 使用SSReflect进行形式化证明通常涉及以下步骤： 1. **定义**: 用户首先定义所需的数据类型和相关性质...
zip

libcgal-julia：Julia的CGAL绑定

当前，正在构建两个共享库：一个具有不精确的结构，即使用Exact_predicates_inexact_constructions_kernel线性内核，另一个具有精确的结构，即使用Exact_predicates_exact_constructions_kernel_with_sqrt ，每个库...
zip

coq-vector：只是费德林。 这与您无关

在Coq中定义和操作向量，我们需要使用Coq的编程语言——Cic（Calculus of Inductive Constructions）。我们可以创建一个类型定义来表示固定长度的向量，如： ```coq Definition Vector (A : Type) (n : nat) := nat...
pdf

UL 746F：2021-03 Polymeric Materials - Flexible Dielectric Film Materials for Use in Printed Wiring Boards and Flexible Materials Interconnect Constructions - 完整英文版（69页）.pdf

《UL 746F：2021-03 Polymeric Materials - Flexible Dielectric Film Materials for Use in Printed Wiring Boards and Flexible Materials Interconnect Constructions》是针对印刷电路板（Printed Wiring Boards,...
pdf

End-to-End Lifelong Learning: a Framework to Achieve Plasticities of both the Feature and Classifier Constructions

End-to-End Lifelong Learning: a Framework to Achieve Plasticities of both the Feature and Classifier Constructions
zip

软件基金会：软件基础解决方案

《软件基金会：软件基础解决方案》是一本专注于形式化方法和逻辑推理在软件开发中的应用的教材。这本书由美国计算机科学家本杰明·C·皮尔斯（Benjamin C. Pierce）等人编写，旨在通过Coq证明助手教授软件开发的严谨...
application/pdf

Stinson D. Combinatorial designs. Constructions and analysis.pdf

它不仅适合于数学专业学生作为学习材料，也适用于计算机科学、统计学、工程学等多个领域的研究人员和工程师，帮助他们理解和运用组合设计的强大工具，解决实际问题。斯廷森教授以其深厚的学术功底和清晰的写作风格，...
pdf

Rosenberg 洛森冷却和空气处理风机选型手册axial-fans-2016-en.pdf

其产品广泛应用于商业建筑、工业设施以及各种需要高效通风解决方案的地方。通过提供高质量的风扇及配件，Rosenberg在行业内建立了良好的声誉。 #### 二、轴流风机（Axial Fans）概述 轴流风机是一种常见的通风设备...
pdf

Orthographic Projection and Multiview Constructions

正射投影（Orthographic Projection）是一种在计算机图形学中广泛使用的投影方法，主要用于将三维对象映射到二维平面上，以便于工程制图和设计。通过正射投影，我们可以得到一个物体的不同侧面视图，从而在二维图纸...
pdf

MLA正文引用+参考文献.pdf

Conditionals and Prediction: Time, Knowledge, and Causation in Conditional Constructions . Cambridge: CUP, 1998. MLA格式的期刊文章 * 作者 . “文献题名 .” 期刊名称＋卷 .期号＋ (出版年 ): 起止页码 ....
application/pdf

Constructions and characteristics of a tiny piezoelectric linear motor

- **径向模式**：电机工作时的振动方式之一，本文中的电机利用这种振动模式来驱动负载。 - **直线电机**：一种无需中间机械转换机构就能将电能直接转化为直线运动的电机。 - **速度**：电机移动的速度。 - **位移**...
zip

coq-system_f:Coq中System F语言的简单编码

Coq的内核基于Calculus of Inductive Constructions (CIC)，这是一种强类型的λ演算，支持类型构造器和归纳数据类型的构造。 在Coq中实现System F，我们需要定义System F的基本元素，包括变量、lambda抽象、应用、...
pdf

Interactive Theorem Proving and Program Development

- **方法论**：现代程序开发通常采用敏捷开发、持续集成等先进的开发模式和技术手段。这些方法强调团队协作、快速反馈以及适应变化的能力。 - **工具与平台**：在程序开发过程中，会用到各种工具和平台，如版本控制...
pdf

Coq Reference-Manual

2. **Curry-Howard同构**：通过这一原理，Coq将程序、性质和证明统一在同一个语言框架下——构造归纳构造的λ演算（Calculus of Inductive Constructions），这是一个具有丰富类型系统的λ演算。 3. **强大的类型...
doc

2020_2021学年新教材高中英语Unit3DiverseCulturesSectionⅢListeningandTalkingReadingforWriting随堂作业含解析新人教版必修第三册202101261139

- constructions（建造）：名词，指建筑或构造过程。 - super（超级的）：形容词，用来形容超越常规的或非常优秀的。 2. **单句语法填空**： - poisonous（毒蛇）：形容词用作定语修饰名词snakes。 - folded...
zip

Android代码-kuery

Use language constructions you already know. Designed to cover the most common SQL features. Strongly typed DSL makes it harder to make mistakes. Some of the most common errors are catched at compile