说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 格式说明
1)  Format specification
格式说明
2)  specification format
说明格式
3)  format item specification
格式项说明
4)  formal specification
形式化规格说明
1.
With the use of formal specification languageZ language, its safety requirements are represented as a formal specification.
本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。
2.
In this paper,formal specification based on order sorting is used to describe the behavior of software component, and various types of definition of such matching for software com.
基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法 ,在软件复用和库检索中 ,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。
5)  Formal specification
形式规格说明
1.
Therefore animation of formal specification is used to translate the formal specification into an executable mode,and then to validate the specification with user s informal requirements.
形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的。
2.
The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤。
3.
Object-Z,an extension to formal specification language Z,is good for describing large scale object-oriented software specification.
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。
6)  format specification file
格式说明文件
补充资料:招股说明书的一般内容与格式


招股说明书的一般内容与格式


  【招股说明书的一般内容与格式】 1.封面 招股说明书的封面应当载明以下事项: (l)发行人的正式名称及注册成立地点。 (2)“招股说明书”字样;在正式定稿前标有“未定稿”字样。 (3)说明发行股票的类型,例如普通股、优先股或者人民币特种股等;如果同时发行认股证,还须列明认股证与股票的比例。 (4)招股书的封面应当载明:“发行人保证本招股说明书的内容真实、准确、完整。政府及国家证券管理部门对本次发行所作出的任何决定,均不表明其对发行人所发行股票的价值或者投资人的收益作出实质性判断或保证”。 (5)发行量、每股面值、每股发行价、发行费用、募集股本。 (6)预计何时在何证券交易所开始交易。 (7)主承销商。股份)。⑩本次发行后每股净资产。 ②已发行的股份。⑩本次发行前持有发行人5%以上(含 ③超过面值缴人的资本及其用途。5%)股权的股东名单及其简要情况,如果股 ④如果发行人已进行过股份制改组、定向东总数超过10名,但持股5%以上的股东不募集或本次发行不是首次公开发行,列表说明足ro名时,则应提供按持股比例排列的前10发行人股权结构的历次主动情况及原因。定向名股东的名单及简要情况。募集公司可首先按发起人股、募集法人股及内⑩董事、监事、高级管理人员及重要职员部职工股划分大类,然后按持股人类别细分国持有股份数额及比例,包括持有本发行人及其家持股、法人持股、外资持股等。他关联企业股份的情况。 ⑤如果已发行过内部职工股,应披露内部(15)债项。此部分应当依据经审计的最职工股是否严格地限制在本企业职工的范围近一期财务报表的截止日,充分披露发行人在内,是否已全部按照要求集中托管,托管单位该日期的主要负债情况。其主要内容应当包及确认部门,根据《股份有限公司规范意见》括:第30条第5款的规定,内部职工股不得上市①银行贷款。交易的截止日等情况。②公司债。 ⑥本次为设立发行时,发行人认购股份数③内部人员和关联企业负债,是指发行人额,并按持股人类别划分为国家持股、法人持的董事、股东和职员与发行人间的债务关系。股、个人持股、外资持股。④负债详细说明。此项目应当列明各类负 ⑦本次发行后公司股份的结构。债的待偿金额、债务期限、利率、资金用途、 ⑧本次发行后净资产总额。逾期还款原因、担保情况、预计还款期等。 ⑨本次发行前每股净资产。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条