標題: Titlebook: ESEC ‘91; 3rd European Softwar Axel Lamsweerde,Alfonso Fugetta Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 Configura [打印本頁] 作者: cessation 時間: 2025-3-21 16:46
書目名稱ESEC ‘91影響因子(影響力)
書目名稱ESEC ‘91影響因子(影響力)學科排名
書目名稱ESEC ‘91網(wǎng)絡公開度
書目名稱ESEC ‘91網(wǎng)絡公開度學科排名
書目名稱ESEC ‘91被引頻次
書目名稱ESEC ‘91被引頻次學科排名
書目名稱ESEC ‘91年度引用
書目名稱ESEC ‘91年度引用學科排名
書目名稱ESEC ‘91讀者反饋
書目名稱ESEC ‘91讀者反饋學科排名
作者: creatine-kinase 時間: 2025-3-21 22:03 作者: handle 時間: 2025-3-22 03:08
ESEC ‘91978-3-540-46446-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Override 時間: 2025-3-22 06:21
Conclusion: The Liminal Raconteur, automatically selected from an algebraic specification of the system via selection strategies derived from well-chosen hypotheses. This selection is done in a modular way and can be tuned by the user of the system.作者: CLAY 時間: 2025-3-22 10:30
gn within Philips. The case study shows that formal techniques can be used in an industrial context; in particular the language COLD-1 is a good vehicle for writing the specifications. In addition it is shown that an object-oriented style can be used within this wide spectrum language, without changing it.作者: FLOAT 時間: 2025-3-22 15:53
s on previous language experiments. ASTRAL is intended to support formal software development; therefore, the language itself has been formally defined. ASTRAL‘s specification style is illustrated by discussing a case study taken from telephony.作者: FLOAT 時間: 2025-3-22 18:15 作者: 顛簸下上 時間: 2025-3-22 21:59
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300500.jpg作者: 不能強迫我 時間: 2025-3-23 05:27
ort properties and constraints prescribed by the software and cognitive psychology communities. From these observations, we derive a multi-agent framework applicable to the software design of interactive systems. An example shows how this general model can be engineered to fit practical problems. We作者: Host142 時間: 2025-3-23 06:08 作者: 拱形面包 時間: 2025-3-23 11:05
Synthesis Lectures on Computer Visiony understood by the non-specialist..The work presented in this paper addresses these problems by defining diagrams which may be used to visualise aspects of formal specifications. The diagrams used are adaptations of classical approaches such as entity-relationship and state-transition diagrams..The作者: 警告 時間: 2025-3-23 16:09
makes the task of designers very difficult. The aim of our work is to contribute to the design of complete distributed applications, stressing first and foremost the quality of the final systems. To reach this goal we propose a software development environment based on a three-phased approach : anal作者: ascend 時間: 2025-3-23 19:07 作者: 難取悅 時間: 2025-3-24 01:14
gn within Philips. The case study shows that formal techniques can be used in an industrial context; in particular the language COLD-1 is a good vehicle for writing the specifications. In addition it is shown that an object-oriented style can be used within this wide spectrum language, without chang作者: –scent 時間: 2025-3-24 05:45
s on previous language experiments. ASTRAL is intended to support formal software development; therefore, the language itself has been formally defined. ASTRAL‘s specification style is illustrated by discussing a case study taken from telephony.作者: 我不明白 時間: 2025-3-24 06:47 作者: A精確的 時間: 2025-3-24 14:13
https://doi.org/10.1007/978-3-476-04127-2ement of the given requirements, expressed in the form of real-time transactions, to task and protocol executions. It also includes a timing analysis and dependability evaluation of the still incomplete design. The testability of the evolving system is considered to be of essential concern. A set of作者: PAEAN 時間: 2025-3-24 18:16
Geschichte der deutschen Novelle,rmance Design (OOPD) for real-time systems. A prototyping process is composed of three steps: Prototype construction, Prototype execution, and Prototype evaluation. The authors present the following artificial intelligence based methods and tools to be applied to each step. In the prototype construc作者: 笨拙的我 時間: 2025-3-24 22:24
https://doi.org/10.1007/978-3-476-01420-7some of its components. Dynamic software replacement is a mechanism that allows components updating without stopping the whole system. For this purpose, the Software Replaceable Unit (SWRU) concept has been introduced..In this paper we present a design method for software systems including replaceab作者: 開頭 時間: 2025-3-25 00:19 作者: Guileless 時間: 2025-3-25 06:49
Geschichte der deutschen Novelle,intaining software systems. The basis of our approach is a formalization of top-down design with information hiding. This formalization allows an accurate and concise formulation of constructing an a posteriori design for a software system using only the source text. The theory predicts that in gene作者: 智力高 時間: 2025-3-25 10:54
Discussion And Conclusion Of The Study, component means to transform it into a component having the same functionality, but working only on a sub-domain of input data. Specialization is achieved by means of symbolic execution and static optimizations..Specialization is motivated as a technique to improve reusability of software component作者: Osmosis 時間: 2025-3-25 15:43 作者: 罵人有污點 時間: 2025-3-25 19:40 作者: Benzodiazepines 時間: 2025-3-25 20:34
Cyclotrons and Synchrocyclotrons,of Structure Analysis Metrics which results are comparable with results of Source Code Metrics is given. Some presented examples made by different people involved into experiment (students) verify the hypothesis.作者: 血友病 時間: 2025-3-26 03:04 作者: Limpid 時間: 2025-3-26 04:44 作者: 小卒 時間: 2025-3-26 11:18 作者: 盡責 時間: 2025-3-26 12:51
ASTRAL: An assertion language for specifying realtime systems,s on previous language experiments. ASTRAL is intended to support formal software development; therefore, the language itself has been formally defined. ASTRAL‘s specification style is illustrated by discussing a case study taken from telephony.作者: facilitate 時間: 2025-3-26 19:02
Relation between source code metrics and structure analysis metrics,of Structure Analysis Metrics which results are comparable with results of Source Code Metrics is given. Some presented examples made by different people involved into experiment (students) verify the hypothesis.作者: 玉米棒子 時間: 2025-3-26 22:54 作者: Interregnum 時間: 2025-3-27 03:45
orted by a set of functionalities given the name .. The first full implementation of ESF Support, which will be available mid 1992, is described, together with the experimental prototypes which are currently under evaluation.作者: 思想靈活 時間: 2025-3-27 07:07
an implementation on a technical environment based on a distributed application model including the virtual node concept. Our approach uses the VDM formal method to support the design phase and the Conic distributed language and environment as the target for the implementation.作者: conquer 時間: 2025-3-27 12:30 作者: 武器 時間: 2025-3-27 15:41
The Eureka Software Factory: Concepts and accomplishments,orted by a set of functionalities given the name .. The first full implementation of ESF Support, which will be available mid 1992, is described, together with the experimental prototypes which are currently under evaluation.作者: 敵手 時間: 2025-3-27 19:13 作者: 懶惰民族 時間: 2025-3-27 23:34 作者: 興奮過度 時間: 2025-3-28 02:27 作者: mucous-membrane 時間: 2025-3-28 09:52
work applicable to the software design of interactive systems. An example shows how this general model can be engineered to fit practical problems. We then discuss the ability of the model to support a number of properties and constraints relevant to software engineering.作者: 我正派 時間: 2025-3-28 12:02
Geschichte der deutschsprachigen Novelle,umstances where the specifications of a program as well as the implementations can be used to guide the change merging process in cases where the implementations conflict but the specifications do not.作者: 出生 時間: 2025-3-28 17:52 作者: FECK 時間: 2025-3-28 21:38
Software merge: Models and methods for combining changes to programs,umstances where the specifications of a program as well as the implementations can be used to guide the change merging process in cases where the implementations conflict but the specifications do not.作者: CAMEO 時間: 2025-3-28 23:21
https://doi.org/10.1007/978-3-476-04127-2 coherent tools for the support of the methodology is described in some detail. The methodology assumes that the run-time architecture is based on static scheduling and a globally synchronised time-base is available to co-ordinate the system actions in the domain of real-time.作者: ensemble 時間: 2025-3-29 06:07 作者: 全國性 時間: 2025-3-29 08:38 作者: 跟隨 時間: 2025-3-29 14:08 作者: PANEL 時間: 2025-3-29 16:08
Dynamically Replaceable Software: A design method,ed systems..A replacement model is defined to implement the above concepts. The requirements that a SWRU has to fulfil, according to the above model, are identified. Finally, a method and a set of support modules to assist in the detailed design and coding phases are presented.作者: tangle 時間: 2025-3-29 21:49 作者: exhibit 時間: 2025-3-30 03:48
Architectural design for user interfaces,ort properties and constraints prescribed by the software and cognitive psychology communities. From these observations, we derive a multi-agent framework applicable to the software design of interactive systems. An example shows how this general model can be engineered to fit practical problems. We作者: 不近人情 時間: 2025-3-30 04:06 作者: 方舟 時間: 2025-3-30 10:08 作者: 不足的東西 時間: 2025-3-30 13:08 作者: chemical-peel 時間: 2025-3-30 16:53 作者: dragon 時間: 2025-3-30 21:04
Specification in COLD-1 of a CAD package for drawing shadow masks,gn within Philips. The case study shows that formal techniques can be used in an industrial context; in particular the language COLD-1 is a good vehicle for writing the specifications. In addition it is shown that an object-oriented style can be used within this wide spectrum language, without chang作者: 大吃大喝 時間: 2025-3-31 02:09 作者: 出血 時間: 2025-3-31 07:39
Execution environment for ELECTRE applications, temporal behaviour in terms of sequential entities called modules, of events, of relations between modules like parallelism, and of relations between modules and events like preemption. ELECTRE is based on a design and implementation approach enforcing the separation of the sequential part of the a作者: 召集 時間: 2025-3-31 10:38 作者: 減弱不好 時間: 2025-3-31 15:10
An application of artificial intelligence to prototyping process in performance design for real-timrmance Design (OOPD) for real-time systems. A prototyping process is composed of three steps: Prototype construction, Prototype execution, and Prototype evaluation. The authors present the following artificial intelligence based methods and tools to be applied to each step. In the prototype construc作者: Anonymous 時間: 2025-3-31 18:22
Dynamically Replaceable Software: A design method,some of its components. Dynamic software replacement is a mechanism that allows components updating without stopping the whole system. For this purpose, the Software Replaceable Unit (SWRU) concept has been introduced..In this paper we present a design method for software systems including replaceab作者: 不透明性 時間: 2025-3-31 21:53 作者: GEM 時間: 2025-4-1 03:54
A theory for software design extraction,intaining software systems. The basis of our approach is a formalization of top-down design with information hiding. This formalization allows an accurate and concise formulation of constructing an a posteriori design for a software system using only the source text. The theory predicts that in gene作者: giggle 時間: 2025-4-1 09:03
SESADA: An environment supporting software specialization, component means to transform it into a component having the same functionality, but working only on a sub-domain of input data. Specialization is achieved by means of symbolic execution and static optimizations..Specialization is motivated as a technique to improve reusability of software component作者: animated 時間: 2025-4-1 10:25 作者: 刺耳的聲音 時間: 2025-4-1 17:34
