用SysML做的编程技巧总结图

最新推荐文章于 2024-05-17 16:00:50 发布
最新推荐文章于 2024-05-17 16:00:50 发布
阅读量4k 收藏 5
点赞数 1
分类专栏： 【SysML系统模型语言】
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/u010770993/article/details/70312303
版权
本文探讨了使用SysML来表示编程技巧的方式，强调了语言技巧与逻辑思维技巧的独立性。通过泛化关系阐述了不同编程语言对技巧的继承和发展，同时指出语言生态环境对语言选择的重要性。文章提到了高校编程教学中对面向对象概念的忽视，并讨论了SysML在描述编程概念时的局限性，尤其是未充分利用块状图和接口。最后，作者认为良好的编译器和编辑器是语言成功的关键，推动着语言的迭代升级。
摘要由CSDN通过智能技术生成
　　这里主要用 泛化关系（Generalization）来叙述，因为每种语言都多少继承了语言技巧的一些特性，而具体的某种语言也是其语言技巧的细化。同样具体技巧对于逻辑技巧也是一种细化。
　　当编程学到一定阶段以后，就会发觉其中有2种技巧是较为互相独立的，一种是编程语言技巧，另一种是逻辑思维技巧。著名算法书籍《算法导论》里面，也尝试用伪代码来描述算法，说明只要掌握基本逻辑，其逻辑的实现可以用任何功能完善的编程语言来完成。

（这里仅仅列举些样板，其中的概括不是最全面的。图片较小，欢迎用4k屏幕欣赏……大误）
最低0.47元/天 解锁文章
flash胜龙
关注
  • 1
    点赞
  • 踩
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
SysML 第一讲：SysML简介
m0_57441430的博客
10-22 1万+
MBSE 概述 我们为什么需要MBSE？ 因为基于文本方法（Text - base approch，Traditional System Engineering）对于系统工程师来说是昂贵的，因此我们需要MBSE。 MBSE的产物是集成性、联通性和一致性的系统模型。 所有的图表和自动生成的文本产区都仅仅是系统模型的一种视图。 MBSE的三大支柱：建模语言、建模方法和建模工具。 当新设计决策和利益攸关者的需求等改变进入系统生命周期中，MBSE 会传递其ROI（？）。 ...
[图解]SysML和EA建模住宅安全系统-04-需求图
最新发布
rolt的专栏
06-30 728
需求图就提供了这样一个方式来记录它们
【TTool学习笔记】4：SysML-Sec建模方法(验证和生成)
LauZyHou的笔记
08-25 1194
在学习这节之前要给TTool装配好ProVerif，具体是在TTool/bin/config_*.xml，这里*是linux或者macos或者windows，在里面配置下面的标签。 <ProVerifCodeDirectory data="../proverif/" /> <ProVerifVerifierPath data="../../proverif/proverif.exe" /> <ProVerifVerifierHost data="localhost" />
《SysML精粹》学习记录--第三章
zszyejing的博客
03-30 2045
《SysML精粹》学习记录--第三章
什么是SysML？
热门推荐
Warren Lynch 的博客
06-24 1万+
OMG系统建模语言™ **（OMGSysML®）**是一种通用图形建模语言，用于指定，分析，设计和验证可能包括硬件，软件，信息，人员，程序和设施的复杂系统。特别是，该语言提供了图形表示，其具有用于建模系统需求，行为，结构和参数的语义基础，用于与其他工程分析模型集成。它代表了 **UML 2的**一个子集 扩展需要满足UML™for Systems Engineering RFP的要求，如...
ML语言学习(一)——名字、函数和类型
vsfly的专栏
06-19 5169
从豆瓣上收了一本《ML语言程序设计教程》，这书现在不好找了，因为没有再版。学下ML，主要目的是要读一些国外的经典PLbooks，这些书有些是用ML来illustrate的。 这里大致记录下。 todo：
10 系统建模语言SysML——参数图
秋水伊的专栏
04-20 1186
为何需要SysML以及系统思维？以及…
flash胜龙的博客
04-21 1381
终于到研二了，这学期也是最后一学期的留学生活了，总归得做些总结。 　　上学期对SysML做了蛮多研究，发觉还不是那么通俗易懂和直观。虽然作为一个从UML延伸过来的语言，SysML有着很大的志向，想成为一个横跨软硬件和大型工程的模型语言。不过就其学习成本来说，还是略高。许多小项目使用基于文档的描述的话，估计从开始到做完的时间，都比学会SysML要短，更不要说使用SysML了。 　　这里讲讲系统思
【SysML】模块定义图(BDD,BlockDefinitionDiagram)
01-27
SysML中的模块定义图，英文为“BlockDefinitionDiagram”，简称BDD，是系统建模过程中最为常见的图之一，BDD是一种结构图，它主要对系统的结构组成以及组成元素间的关系进行描述。SysML中的图类似于UML中的类图，在学习的过程中可以以类比的方式进行学习。如下图所示，BDD中可以包含包、模型、模型库、视图、模块和约束模块。其中最为重要和常见的是模块和约束模块。包、模型、模型库、视图在后续系列文章中论述，我们仅关注BDD中常用的模块和约束模块，本文重点介绍模块。约束模块是SysML中的一种定义元素，常见情况下在约束模块中定义约束表达式。约束模块一般用于搭配参数图构建
GA006-185-10
GONGZIXUY的博客
12-03 223
1、Internal Block Diagram 内部框图 2、Block Definition Diagram 模块定义图 模块定义图是系统建模过程中最为常见的图之一，它主要对系统的结构组成以及组成元素间的关系进行描述。 3、One Level Activity Hierarchy 一级包层次结构 一级包层次结构模式创建许多包和一个使用嵌套连接器连接到层次结构中的包关系图。 4、Basic Activity Diagram with Fork and Jion 基本活动图 带有分区模式的基本活动图
SysML参数图
ronshi的博客
05-17 976
SysML参数图
【SysML】模型图概览
小小小程序员的博客
03-08 1万+
SysML，全称Systems Modeling Language，即系统建模语言，它是一种表述（Specifying）、分析、设计以及验证复杂系统的通用图形化建模语言，复杂系统可能包括软件、硬件、信息、人员、过程和设备等其他系统元素。 想要了解SysML的本质，我们首先关注其核心定位，即：SysML是一种图形化的系统建模语言。由此我们可以抽离出4个维度：     SysML与UML的关系
SysML
ronshi的博客
05-15 1377
SysML
机器学习系统或者SysML&DL笔记(一)
老潘的博客
07-14 574
关于本文章的最新更新请查看:oldpan博客 前言 在使用过TVM、TensorRT等优秀的机器学习编译优化系统以及Pytorch、Keras等深度学习框架后，总觉得有必要从理论上对这些系统进行一些分析，虽然说在实践中学习是最快最直接的(指哪儿打哪儿、不会哪儿查哪儿)，但恶补一些关于系统设计的一些知识还是非常有用了，权当是巩固一些基础了。 因此，有必要学习了解一下机器学习系统的设计和思想。如果不是很了解机器学习系统的设计，可以看下知乎上关于这个问题的回答：相比AI算法研究，计算机系统研究没落了吗？ 以下是本
SysML实践指南第二版（中文翻译：刘亚龙）第9章 序列图
05-09 4021
建模基于流的行为与活动 本章描述需要建模行为的概念根据流的输入、输出、和控制使用一个活动图。活动图类似与传统的功能流程图，但有许多附加的特征来精确说明行为。活动可以描述行为不需要显式引用职责是执行行为的结构元素。可选的是,活动可以描述一个系统或它的组件行为被执行通过特定模块或组成部分。 概述 在SysML中,一个活动是一种描述行为的形式化方法，通过一个受控的动作序列说明输入到输出的转变。...
SYSML结构图解析：块定义与内部结构
"本文主要介绍了SYSML（System Modeling Language）中的结构图元素，包括块定义图（BDD）和内部框图（IBD），并详细阐述了这些图中涉及的各种元素，如Block、Actor、Constraint、ValueType、Enumeration、Interface...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值