2回答
为了学习，我从下载了本杰明·皮尔斯的电子书“软件基础”，并提取了内容。我现在开始在Basics.v中完成练习，直接用Vim编辑文件。
我想自动评分我的答案(例如，跟踪我的分数与时间)。
浏览 6提问于2017-08-01得票数 6
回答已采纳
大型机(zOS)软件目前仍在大量使用。许多银行、保险公司、航空公司、全球公司等最关键的应用程序都运行在(好的旧的)大型机上。然而，对于正在开发和支持大型机软件的公司来说，拥有开发、测试和支持这类软件所需的基础设施可能(非常)昂贵。开发和支持大型机软件而无需支付所需基础设施(并将所有软件收入用于该基础设施)的可行解决方案是什么？
浏览 0提问于2017-04-25得票数 5
在被救出的基础和组件库中同样的事情都是重用组件的，我找不到这两者之间的任何区别。
重用基础软件工程与构件基础软件工程的区别？
浏览 0提问于2018-07-22得票数 3
回答已采纳
1回答
我们希望通过提供“黄金映像”(加入域、拥有我们的安全软件、infra软件等)来限制我们的用户可以访问的AMI。因此，我们通过在AWS中使用现有的AMI，并像往常一样在其基础上进行构建。问题是来自AWS的基础AMI更改非常频繁(例如，Microsoft补丁，诸如此类)，这意味着我们的黄金映像已经过时。有没有办法让用户只访问拥有我们所有软件的镜像(即“黄金镜像”)，而不是动态地构建它，将我们的安全/基础设施软件添加到基础镜像中，并且只允许环境的最
浏览 0提问于2014-09-13得票数 0
如果我不知道应用程序，我只知道软件需求，在软件需求的基础上，我需要用Selenium IDE编写测试用例。那么，如何在软件需求的基础上编写测试用例呢？有谁可以帮我？
浏览 0提问于2014-03-19得票数 0
1回答
在软件开发中，可以在软件生命周期内采用大量的测试方法。是否有人知道一种面向基础设施的测试方法，或者可以简单地应用于为基础设施而不是软件实现测试？
浏览 0提问于2012-04-16得票数 2
8回答
我一直在思考软件项目的基础设施是什么。这些是我认为每个项目都应该具备的东西：-Naming约定
我不确定我有没有遗漏什么。有没有人想补充一下？
浏览 29提问于2008-09-18得票数 4
1回答
数字签名软件
、、
什么是数字签名软件？数字签名软件需要做些什么？注意到这个文章，我看到需要使用证书：您可以使用内部Windows公钥基础结构(PKI)生成正确的代码签名证书，也可
浏览 0提问于2014-04-01得票数 0
回答已采纳
1回答
其中一个目录包括软件版本，其他目录是使用软件版本的基础结构(例如，读取内部硬件寄存器等)。如何跟踪基础架构的哪个修订版正在与哪个软件版本配合使用？
浏览 1提问于2016-08-29得票数 0
在软件项目中，软件供应商负责交付一段软件。其他一切，包括基础设施设置、数据库和应用服务器安装/配置/维护等，都不是软件供应商的责任。根据合同，软件供应商将提供BCP (业务连续性计划)和DRP (灾难恢复计划)文件。
问题是，这些文档中的哪些部分是软件供应商的责任？换句话说，BCP/DRP文档的哪些部分仅与交付的软件有关，而不是基础设施的安装/安装/配置/维护？
浏览 0提问于2013-12-19得票数 0
我有现有的iphone应用程序是使用XCode 4.2和基础开发工具包作为iOS 5.0，编译器是苹果LLVM编译器3.0。现在，随着iOS 6的到来，我是应该(或者应该)用最新的XCode和基础软件开发工具包(即XCode 4.5，基础软件开发工具包作为iOS 6.0，编译器:-Apple LLVM编译器4.1)重建这个应用程序，或者我是否可以使用旧的XCode和基础软件开发工具包设置提交我的升级？
浏览 0提问于2012-09-18得票数 1
回答已采纳
我想知道所有数据库/数据库组合堆栈溢出在下面使用什么，管理各种垂直领域的大量用户配置文件信息。如何索引信息，redis是stackoverflow解决方案的一部分吗？
浏览 2提问于2014-01-07得票数 0
1回答
我正在使用一个名为wcm7.com的网页来上传我的个人电脑备份文件，但我正在考虑为我的计算机创建一个软件上传器，以使其变得更容易。问题是，我需要知道什么，才能把我的软件和网站结合起来，直接从程序中上传/下载，而不是每次都去网站？
浏览 2提问于2014-02-09得票数 0
回答已采纳
我们目前的情况:我们有一个Opennebula云基础设施，包括一个集群控制器和6个集群节点，配置并工作。所有节点都在kvm管理程序之上运行debian实例。作为学校项目的一部分，我们已经这样做了。不幸的是，学校没有给我们任何关于应该在基础设施上运行的软件的要求。我们不知道一个程序如何能够直接利用云基础设施。opennebu
浏览 0提问于2011-12-06得票数 0
我需要创建一个安装了以下软件的docker镜像： sudo apt-get install pcsc-tools // same as pcsc-lite/install
为了做到这一点，我需要一个基础映像，apt安装。我听说debian就是这样一个基础图像。我是否也应该为docker容器使用Ubuntu基础镜像？或者这无关紧要吗？1)如何保证apt在基础
浏览 6提问于2019-11-03得票数 0
在几个符号中使用了|-。例如，在中这会干扰Ltac匹配结构。例如，这是： match goal with end.Toplevel input, characters 43-44:
Syntax error: "\in" expected after [cons
浏览 4提问于2015-04-17得票数 1
回答已采纳
1回答
哪种软件是最适合在ubuntu中创建网络地图的？我在大学有学士论文，主题是网络基础设施的发现。我必须创建一个网络地图，自动发现设备的网络在我的学校。软件可以在Windows或Ubuntu上工作。格式可以生成，以导出谷歌地球。网络中应包含计算机、笔记本电脑、交换机、路由器、打印机。软件如op经理，solarwinds NPM，prtg网络监视器，lanstate pro，anturis in Windows，cheops，opennms在Ubuntu.
浏览 0提问于2015-02-08得票数 1
我了解到，自从12c版本以来，Oracle数据库12c (RCU)的存储库创建实用程序(RCU)是Oracle融合中间件基础设施软件的一部分。这就引出了一个问题:在哪里可以下载Oracle融合中间件基础设施软件？
浏览 0提问于2013-09-17得票数 -2
回答已采纳
我已经读过软件基础系列，并且对Coq基础有很好的理解。但是，任何非平凡的东西的证明都变得太冗长和乏味。
为熟悉基础知识的人编写易于管理的大型Coq证明的策略是什么？
浏览 3提问于2017-12-04得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
