標題: Titlebook: System Development and Ada; CRAI Workshop on Sof A. Nico Habermann,Ugo Montanari Conference proceedings 1987 Springer-Verlag Berlin Heidelb [打印本頁] 作者: 瘦削 時間: 2025-3-21 18:16
書目名稱System Development and Ada影響因子(影響力)
書目名稱System Development and Ada影響因子(影響力)學科排名
書目名稱System Development and Ada網(wǎng)絡公開度
書目名稱System Development and Ada網(wǎng)絡公開度學科排名
書目名稱System Development and Ada被引頻次
書目名稱System Development and Ada被引頻次學科排名
書目名稱System Development and Ada年度引用
書目名稱System Development and Ada年度引用學科排名
書目名稱System Development and Ada讀者反饋
書目名稱System Development and Ada讀者反饋學科排名
作者: 符合你規(guī)定 時間: 2025-3-21 21:17 作者: 懸崖 時間: 2025-3-22 01:07
he construction of a two-phase algorithm based in a novel generic approach called design methodology and to find which metaheuristic algorithm shows a better performance in terms of quality. The design methodology generates set of generic structures: MMA, LPH, LPA and LPS. These structures build an 作者: 鋼筆尖 時間: 2025-3-22 07:03
James E. Archer Jr.he construction of a two-phase algorithm based in a novel generic approach called design methodology and to find which metaheuristic algorithm shows a better performance in terms of quality. The design methodology generates set of generic structures: MMA, LPH, LPA and LPS. These structures build an 作者: 猛烈責罵 時間: 2025-3-22 10:27
Charles Z. Mitchellon and propose new methods to solve complex pattern recognition problems. The fourth part discusses new theoretical concepts and methods for the application of soft computing to many different areas, such as natural language processing, clustering and optimization..作者: 伸展 時間: 2025-3-22 14:19
Vic Stenninghitecture based on adaptive neuro-fuzzy inference systems (ANFIS) assembled to a recurrent neural network, applied to the problem of mental tasks temporal classification, is presented. The electroencephalographic signals (EEG) are pre-processed through band-pass filtering in order to separate the se作者: 泥土謙卑 時間: 2025-3-22 18:20 作者: ABASH 時間: 2025-3-22 23:40
Dines Bj?rnerng the plants may then never be explored, if they lie outside the experience of the operators. In this chapter we investigate the possibility that fuzzy production rules for plants producing phenol formaldehyde resins (and, more generally, plants involved in a variety of industrial chemical synthese作者: Pudendal-Nerve 時間: 2025-3-23 04:32 作者: arousal 時間: 2025-3-23 06:07
John B. Goodenoughally changing, possibly insufficient amount of resources and reaction time..In this chapter the applicability of (Higher Order) Singular Value Decomposition based anytime Soft Computational models is analyzed in dynamically changing, complex, time-critical systems.作者: boisterous 時間: 2025-3-23 10:39
A. N. Habermannve maps, and fault detection. ?The book is dedicated to Professor José L. Verdegay, a pioneer who has been actively pursuing research in fuzzy sets theory and soft computing since 1982, in honor of his 65th birthday..978-3-319-87763-1978-3-319-64286-4Series ISSN 1434-9922 Series E-ISSN 1860-0808 作者: 整頓 時間: 2025-3-23 16:32
D. C. Luckham,D. P. Helmbold,S. Meldal,D. L. Bryan,M. A. Haberlerf my dissatisfaction with the current state-of-the-art of MCDM. MCDM is a branch of science, whose declared ultimate goal is to provide practical tools. However, we cannot say, and this is regrettable, that all present MCDM methods and algorithms are in popular use by those who make complex decision作者: 許可 時間: 2025-3-23 18:41 作者: gerontocracy 時間: 2025-3-23 23:20
Integration of program construction and verification: the PROSPECTRA methodology,ctive guidance by the implementor, or automatically by compact transformation tools. Transformation rules form the nucleus of an extendible knowledge base..The strict methodology of Program Development by Transformation (based on the CIP approach, see e.g. [2, 3]) is completely supported by the .. A作者: 忘恩負義的人 時間: 2025-3-24 05:04 作者: Largess 時間: 2025-3-24 09:52
Ferdinando Gallo,Bull DRTG/GLdiscusses new theoretical concepts and methods for the application of soft computing to many different areas, such as natural language processing, clustering and optimization..978-3-642-44392-3978-3-642-35323-9Series ISSN 1434-9922 Series E-ISSN 1860-0808 作者: Carcinogen 時間: 2025-3-24 14:06 作者: 敲詐 時間: 2025-3-24 17:08 作者: Hemiparesis 時間: 2025-3-24 19:26
The Software Engineering Institute at carnegie mellon university,s of interest and has planned a sequence of phases in which more advanced technology is introduced. The SEI has started a number of projects to explore technology that is ready for transition. Several of these projects are related to the Ada Language.作者: CROAK 時間: 2025-3-24 23:40
0302-9743 -30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software develop作者: savage 時間: 2025-3-25 06:49 作者: 外形 時間: 2025-3-25 08:00
Knowledge-based software development from requirements to code,the .. system which supports this new paradigm including automatically compiling specifications into code. We present as an example the development of a communication system, showing in detail support for the process of producing abstract specifications from requirements.作者: CLOUT 時間: 2025-3-25 14:45
Project Graphs and meta-programs towards a theory of Software development,y theoretical viewpoint..Finally the architecture of a Software Development System is outlined. Within a single, unifying frame it embodies the management, engineering and science of software development.作者: 徹底檢查 時間: 2025-3-25 19:05
Software development based on formal methods,ations. In this paper, programming languages and their compilers are ignored; the focus is on the specification and verification of programs. The discussion focusses on the approach to specification and the reliance on proof obligations in design steps of data reification and operation decomposition.作者: 懦夫 時間: 2025-3-25 20:26 作者: Myofibrils 時間: 2025-3-26 03:00 作者: elucidate 時間: 2025-3-26 04:51 作者: 圖畫文字 時間: 2025-3-26 08:58 作者: granite 時間: 2025-3-26 13:23 作者: Initial 時間: 2025-3-26 18:20 作者: angina-pectoris 時間: 2025-3-26 22:22
Project Graphs and meta-programs towards a theory of Software development,of view, from the point of view of ., and also of . — ie. from more informal, pragmatic viewpoints, via formal methodological viewpoints, to a strictly theoretical viewpoint..Finally the architecture of a Software Development System is outlined. Within a single, unifying frame it embodies the manage作者: gruelling 時間: 2025-3-27 02:27 作者: 苦澀 時間: 2025-3-27 06:33
Integration of program construction and verification: the PROSPECTRA methodology,oject between Universit?t Bremen, Universit?t Dortmund, Universit?t Passau, Universit?t des Saarlandes (all D), University of Strathclyde (GB), SYSECA Logiciel (F), Dansk Datamatik Center (DK), and Standard Electrica S.A. (E), and is sponsored by the Commission of the European Communities under the 作者: myopia 時間: 2025-3-27 09:46
Ada compiler validation: An example of software testing theory and practice,hilosophy and development of these tests from a “l(fā)essons learned” perspective, and points out lessons that apply to the testing of other large software projects. Examples of tests and test outputs are given.作者: Prologue 時間: 2025-3-27 14:41
The Software Engineering Institute at carnegie mellon university,. The US Department of Defense, being a large user of software, has taken the initiative to push for increased programmers‘ productivity by improving the software production process. The first phase of the DoD‘s Software Initiative resulted in the design of the Ada language. The second phase, in whi作者: 高談闊論 時間: 2025-3-27 21:43 作者: 柔美流暢 時間: 2025-3-27 22:25
978-3-540-18341-9Springer-Verlag Berlin Heidelberg 1987作者: 肌肉 時間: 2025-3-28 05:26 作者: isotope 時間: 2025-3-28 07:10
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/t/image/884448.jpg作者: tangle 時間: 2025-3-28 14:04 作者: 莊嚴 時間: 2025-3-28 16:59
The PCTE initiative: toward a european approach to software engineering,e PCTE project is presented in the context of a strategic initiative which aims to establish the foundations for a systematic approach to software production in Europe. More detailed information on the technical aspects of PCTE can be found in [27, 8, 14, 15, 17, 18].作者: demote 時間: 2025-3-28 22:24 作者: Angiogenesis 時間: 2025-3-29 00:15
timetabling with the minimum student conflicts between assigned activities. A Methodology of design is a framework of solution applied to a heuristic algorithm for timetabling problem. This strategy has recently emerged and aims to improve the obtained results as well as provide a context-independe作者: 袖章 時間: 2025-3-29 05:09
James E. Archer Jr. timetabling with the minimum student conflicts between assigned activities. A Methodology of design is a framework of solution applied to a heuristic algorithm for timetabling problem. This strategy has recently emerged and aims to improve the obtained results as well as provide a context-independe作者: obviate 時間: 2025-3-29 11:10 作者: Modicum 時間: 2025-3-29 12:38
Charles Z. Mitchellok describes the application of soft computing techniques to intelligent control, pattern recognition, and optimization problems. The book is organized in four main parts. The first part deals with nature-inspired optimization methods and their applications. Papers included in this part propose new 作者: Amenable 時間: 2025-3-29 19:18
Vic Stenning, based on the electric brain signals detected through a variety of modalities. Among these, electroencephalographic signals (EEG) have received considerable attention due to several factors arising on practical scenarios, such as noninvasiveness, portability, and relative cost, without lost on accu作者: 極小 時間: 2025-3-29 21:58
Stephen J. Westfold,Lawrence Z. Markosian,William A. Brewerpretation of multidimensional fuzzy implication (MFI) and Soft Computing Approach to Pattern Classification and Object Recognition establishes an innovative, unified approach to supervised pattern classification and model-based occluded object recognition. The book also surveys various soft comput
