標題: Titlebook: ESEC ‘89; 2nd European Softwar C. Ghezzi,J. A. McDermid Conference proceedings 1989 Springer-Verlag Berlin Heidelberg 1989 Computer-Program [打印本頁] 作者: 倒鉤 時間: 2025-3-21 17:40
書目名稱ESEC ‘89影響因子(影響力)
書目名稱ESEC ‘89影響因子(影響力)學科排名
書目名稱ESEC ‘89網(wǎng)絡(luò)公開度
書目名稱ESEC ‘89網(wǎng)絡(luò)公開度學科排名
書目名稱ESEC ‘89被引頻次
書目名稱ESEC ‘89被引頻次學科排名
書目名稱ESEC ‘89年度引用
書目名稱ESEC ‘89年度引用學科排名
書目名稱ESEC ‘89讀者反饋
書目名稱ESEC ‘89讀者反饋學科排名
作者: 獸群 時間: 2025-3-21 22:14
MENU - an example for the systematic reuse of specifications,n language ASL which allows to build specifications in a modular way. A reusable component consists of a tree of algebraic specifications representing a software module at different levels of abstraction: the root of the tree is understood as the "abstract" requirement or the design specification of作者: Receive 時間: 2025-3-22 01:31
STEPS to software development with users,evelopment with users. STEPS views software development in its connection to work design. It gives guidance to developers and users for carrying out their cooperation, establishing quality criteria pertaining to software in use and putting them into practice in system design. It embodies an evolutio作者: AORTA 時間: 2025-3-22 04:50
The role of measurement in ISEEs,tware engineering community that more effective software processes and more effective automated support via integrated software engineering environments (ISEEs) are needed. The TAME ISEE project at the University of Maryland is based on the assumption that there is a basically experimental nature to作者: addition 時間: 2025-3-22 11:51
An empirical and theoretical analysis of an information flow-based system design metric,derlying model reveals a number of anomalies which translate into poor performance, as revealed by a large empirical study. Attention to these theoretical deficiencies results in a marked improvement in performance. There are two themes to this paper. The first theme—a minor one—involves a critique 作者: 富饒 時間: 2025-3-22 14:53 作者: 富饒 時間: 2025-3-22 19:52 作者: Cervical-Spine 時間: 2025-3-22 21:59 作者: 甜得發(fā)膩 時間: 2025-3-23 03:40 作者: intrigue 時間: 2025-3-23 08:15 作者: intertwine 時間: 2025-3-23 11:56
Change oriented versioning, alternative to the traditional, “version oriented” models. The change oriented model has advantages over these models, especially with regard to parallel development and systems with many optional features.作者: anthesis 時間: 2025-3-23 15:07
Software change dynamics , half of all Ada compilations are redundant,e attributes, the number and distribution of changes, and compilation costs. The interesting aspect of this study is that a day-to-day, complete development history of the system was available, spanning three years. The history permitted a full trace of all day-to-day changes. Findings included:作者: 態(tài)度暖昧 時間: 2025-3-23 18:34 作者: commensurate 時間: 2025-3-24 00:04
Software engineering implications for formal refinement,onstraints on the refinement of these specifications into coded modules. The need to separate the role of system building from the refinement of particular components means that relationships between specification units during the refinement process must be . (that is made into objects) in the softw作者: 臭了生氣 時間: 2025-3-24 03:53
A rigorous development strategy using the OBJ specification language and the MALPAS program analysits support tool, ObjEx. The MALPAS intermediate language (IL) is used for design with the MALPAS tools themselves being used for verification and validation. It is shown that OBJ specifications can be easily translated into MALPAS IL and that IL can be used in design to transform the formal specific作者: Ascendancy 時間: 2025-3-24 06:37
Tool integration in an open environment,alizing this integration is described. Tool integration is also concerned with the composition of tools. An applicative command language interpreter allowing the application of tools on objects at different levels of granularity in the database is presented. Besides supporting a typed language, the 作者: Mercurial 時間: 2025-3-24 14:10 作者: 方便 時間: 2025-3-24 15:09 作者: CRATE 時間: 2025-3-24 22:49 作者: Abrupt 時間: 2025-3-24 23:43 作者: 玩笑 時間: 2025-3-25 05:16
Business Cycles: Continuous Time,elped us to identify inconsistencies and missing information in the informal description. The inspection process can be used to validate formal specifications against informal requirements, and guidelines for judging the quality of formal specifications have been given.作者: CON 時間: 2025-3-25 09:34
https://doi.org/10.1007/978-1-4612-1718-3llowing the application of tools on objects at different levels of granularity in the database is presented. Besides supporting a typed language, the command language interpreter enforces rules on tool usage.作者: TOM 時間: 2025-3-25 14:44
Non-negative Matrices and Markov Chainsg components based on the following "divide and conquer" principle: a given specification is decomposed into appropriate subspecifications; these are matched with existing components. Then the recomposition of the successful matchings yields automatically a component for the specification we started with.作者: Anticlimax 時間: 2025-3-25 18:15 作者: 他去就結(jié)束 時間: 2025-3-25 21:26 作者: 可卡 時間: 2025-3-26 02:36 作者: 山頂可休息 時間: 2025-3-26 05:30
Software risk management,mprise 40–50% of overall software development costs; typically, 80% of the rework costs are caused by the highest-risk 20% of the software problems encountered.) And finally, risk management provides a useful framework for determining which software V&V activities to pursue, and at what level of effort.作者: definition 時間: 2025-3-26 10:13
STEPS to software development with users,nary approach, portraying system development in cycles of version production, application and revision. It supports mutual learning by developers and users by carefully establishing and coordinating processes of cooperation, by using prototyping for experiments and by adapting methods and tools to the needs of cooperation and incremental work.作者: 詳細目錄 時間: 2025-3-26 15:27 作者: 發(fā)起 時間: 2025-3-26 18:42 作者: engagement 時間: 2025-3-26 21:10 作者: pineal-gland 時間: 2025-3-27 01:32 作者: RODE 時間: 2025-3-27 08:49
,Chinese Engineers’ Writing Difficulties,mprise 40–50% of overall software development costs; typically, 80% of the rework costs are caused by the highest-risk 20% of the software problems encountered.) And finally, risk management provides a useful framework for determining which software V&V activities to pursue, and at what level of effort.作者: 內(nèi)行 時間: 2025-3-27 09:41 作者: Obscure 時間: 2025-3-27 17:14 作者: BAN 時間: 2025-3-27 20:45
Conference proceedings 1989ofessionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.作者: patriarch 時間: 2025-3-27 23:47 作者: BUOY 時間: 2025-3-28 05:02
Time-Resolved Fluoroimmunoassayt time. I present the improvement-oriented software development model which has been developed as part of the TAME project, and suggest that future ISEEs should be instantiations of this model. I develop a scheme for classifying ISEEs and survey five current ISEE research projects. Finally, I list s作者: 動物 時間: 2025-3-28 09:28 作者: nauseate 時間: 2025-3-28 11:14
https://doi.org/10.1007/978-3-662-00754-9e way in which a strategy for the industrialisation of formal methods has been evolved. The first part of the process, described below, is concerned with the collection of user views on the suitability for purpose of formal methods. From this information the key advances required to overcome the per作者: Myofibrils 時間: 2025-3-28 16:35
Phason Light Scattering in BaMnF4,t, the single object. The VMCS model is implemented on PCTE as a set of operations that may be called by tools. Interfaces to these operations are provided in the C, Ada, Lisp, and Prolog programming languages.作者: SHOCK 時間: 2025-3-28 19:24
,Automata — definitions and notations,ent shared sub-specification. In both these cases the interface specification forms the . for shared design decisions. In addition a higher level structuring concept is introduced, the . which describes the requirements for a set of modules and their inter-relationship.作者: 注射器 時間: 2025-3-29 02:08 作者: eardrum 時間: 2025-3-29 06:25
Formal specification using structured systems analysis,作者: 蛛絲 時間: 2025-3-29 08:29 作者: 情愛 時間: 2025-3-29 14:06 作者: 膽大 時間: 2025-3-29 16:24
Industrialising formal methods for telecommunications,e way in which a strategy for the industrialisation of formal methods has been evolved. The first part of the process, described below, is concerned with the collection of user views on the suitability for purpose of formal methods. From this information the key advances required to overcome the per作者: 重畫只能放棄 時間: 2025-3-29 21:34 作者: 故意 時間: 2025-3-29 23:53
Software engineering implications for formal refinement,ent shared sub-specification. In both these cases the interface specification forms the . for shared design decisions. In addition a higher level structuring concept is introduced, the . which describes the requirements for a set of modules and their inter-relationship.作者: vitrectomy 時間: 2025-3-30 05:01 作者: prostatitis 時間: 2025-3-30 11:45 作者: 潰爛 時間: 2025-3-30 14:44 作者: 單調(diào)女 時間: 2025-3-30 17:05 作者: Bureaucracy 時間: 2025-3-30 22:14 作者: 牽索 時間: 2025-3-31 01:27 作者: ANNUL 時間: 2025-3-31 08:02 作者: ELUC 時間: 2025-3-31 10:49 作者: Matrimony 時間: 2025-3-31 13:26
A rigorous development strategy using the OBJ specification language and the MALPAS program analysits support tool, ObjEx. The MALPAS intermediate language (IL) is used for design with the MALPAS tools themselves being used for verification and validation. It is shown that OBJ specifications can be easily translated into MALPAS IL and that IL can be used in design to transform the formal specification into an implementation.作者: Juvenile 時間: 2025-3-31 19:27
,HCDM/GSDS — A design environment for real-time software with automatic program generation,ndustrial development projects which allow completely automatic program generation from design. The design method HCDM for real-time software and the prototype tools for its support — GSDS — are described in detail. Requirements for future Software Engineering Environments are derived from the experience of the application of HCDM/GSDS.作者: debacle 時間: 2025-3-31 21:58
,Chinese Engineers’ Writing Difficulties,ating pitfalls and reach successful conclusions. The techniques of risk assessment and risk control outlined here stimulate a "no surprises" approach to software management which improves project management visibility and control, and significantly reduces software rework. (Rework costs generally co作者: 梯田 時間: 2025-4-1 05:33 作者: LAIR 時間: 2025-4-1 09:16
Noncommutative Stationary Processesevelopment with users. STEPS views software development in its connection to work design. It gives guidance to developers and users for carrying out their cooperation, establishing quality criteria pertaining to software in use and putting them into practice in system design. It embodies an evolutio作者: Hyperopia 時間: 2025-4-1 13:37 作者: Longitude 時間: 2025-4-1 14:57
Nonlinear Dynamics of Time Delay Systemsderlying model reveals a number of anomalies which translate into poor performance, as revealed by a large empirical study. Attention to these theoretical deficiencies results in a marked improvement in performance. There are two themes to this paper. The first theme—a minor one—involves a critique 作者: 過渡時期 時間: 2025-4-1 21:34 作者: FLASK 時間: 2025-4-2 00:15
https://doi.org/10.1007/978-3-642-97291-1 software processes. An SP_Machine is based on an underlying software process (meta)model. Of consequence, different SP_Machines can be defined. The one presented here is based on a state-oriented metamodel for software process. We believe that SP_Machines we will become a crucial component of the f
