作者: 畫(huà)布 時(shí)間: 2025-3-21 22:58
Conference proceedings 1987ular the book contains much information on the important new topics of support environments. The reader will not only gain a knowledge of the subject but will also find which organisations and institutes are working in particular areas. The reader will gain both industrial and academic perspectives 作者: Intellectual 時(shí)間: 2025-3-22 02:44 作者: gene-therapy 時(shí)間: 2025-3-22 08:33
lity is shown. The advantages of the proposed approach are mainly concerned with the easiness of extention of the programming environment and of the configuration environment to deal with concepts which, in general, are very expensive to provide,e.g. histories and versions management.作者: lipids 時(shí)間: 2025-3-22 10:36
Enhancing configuration facilities in software development: A logic approach,lity is shown. The advantages of the proposed approach are mainly concerned with the easiness of extention of the programming environment and of the configuration environment to deal with concepts which, in general, are very expensive to provide,e.g. histories and versions management.作者: AND 時(shí)間: 2025-3-22 15:13
Non-Han Literature Along the Silk Roade. This database is presented to the user in text form. Project management actions can in principle be done by editing. However, most of them are usually executed automatically or can be selected from a menu. Parts of a database can be transferred to another database for partitioning projects and for working on separate workstations.作者: AND 時(shí)間: 2025-3-22 18:36 作者: UNT 時(shí)間: 2025-3-23 00:59 作者: 懲罰 時(shí)間: 2025-3-23 05:13
,SADL : Un environnement de développement de logiciel pour la specification, la conception et la proXstation computers) implementing state-of-the-art software engineering techniques. SADL covers the early phases of the software life cycle independently of the target machine. As it is gradually extended to all software development at SESA, SADL should allow substantial gains in productivity and software quality for reasonable investment costs.作者: cauda-equina 時(shí)間: 2025-3-23 05:46
Development of a programming environment for Setl, information. First, we discuss the choices done in the definition of the abstract syntax. Then we present the problems related to the type determination in Setl. They are solved by an abstract interpretation using unification and inference rules. This analysis is specified in the so called "natural semantics" and is implemented in Typol.作者: Expostulate 時(shí)間: 2025-3-23 11:36 作者: 飲料 時(shí)間: 2025-3-23 16:34
https://doi.org/10.1007/978-981-16-6659-9e of the system seen as query on that database, (iii) rules specifying how to build products, these rules are associated to configuration types instead of particular configurations. These facilities are compared with those of representative systems.作者: insurgent 時(shí)間: 2025-3-23 18:33
0302-9743 purpose of ESEC 87 was to provide a European forum for the interchange of ideas, and presentations of the current state of research and development in software engineering. The conference had over 400 participants, and papers were presented from all over Europe, Japan and North America. The book bri作者: flex336 時(shí)間: 2025-3-24 00:18
Xstation computers) implementing state-of-the-art software engineering techniques. SADL covers the early phases of the software life cycle independently of the target machine. As it is gradually extended to all software development at SESA, SADL should allow substantial gains in productivity and software quality for reasonable investment costs.作者: Genteel 時(shí)間: 2025-3-24 03:47
https://doi.org/10.1007/978-94-010-3057-1 information. First, we discuss the choices done in the definition of the abstract syntax. Then we present the problems related to the type determination in Setl. They are solved by an abstract interpretation using unification and inference rules. This analysis is specified in the so called "natural semantics" and is implemented in Typol.作者: cruise 時(shí)間: 2025-3-24 07:59 作者: 季雨 時(shí)間: 2025-3-24 12:34
ESEC ‘87978-3-540-48117-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 漸強(qiáng) 時(shí)間: 2025-3-24 15:35 作者: muffler 時(shí)間: 2025-3-24 21:30 作者: ATRIA 時(shí)間: 2025-3-24 23:42
ftware development and formalized in the MELUSINE method..Based on this methodological approach, SADL includes a set of tools (available on VAX and VAXstation computers) implementing state-of-the-art software engineering techniques. SADL covers the early phases of the software life cycle independent作者: 事與愿違 時(shí)間: 2025-3-25 05:25 作者: Obscure 時(shí)間: 2025-3-25 09:49 作者: ACME 時(shí)間: 2025-3-25 12:41
https://doi.org/10.1007/978-981-16-6659-9ion. Its main features are: (i) a database to represent the generic structure of the designed system, the characteristics of the versions of the system components, and rules which describe explicitly the compatibility constraints between versions, (ii) a selection of versions to construct an instanc作者: scoliosis 時(shí)間: 2025-3-25 18:36
Nico Stockmann,Kübra Karatas,Martin Tr?ndlee to express the association between an event and actions. The actions are executed automatically when the event is raised. It is shown, using examples on recompilation policies, how this simple mechanism can be used to express and enforce the semantics of relations, to control and manage propagatio作者: metropolitan 時(shí)間: 2025-3-25 22:13
t describes part of a work which proposes Logic Data Bases as effective tools to be integrated with existing programming environments to increase their formalization and automation capabilities. In order to present the idea and its implications, we discuss, as a practical example, the integration of作者: Feigned 時(shí)間: 2025-3-26 01:55
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300498.jpg作者: 一個(gè)姐姐 時(shí)間: 2025-3-26 04:48 作者: Glower 時(shí)間: 2025-3-26 09:05
PantaPM: an integrated software development environment,rticularly on coordinating software development in a team. PantaPM is the extension of an editor environment, which supports syntax-driven editing of several files written in several languages within one session. PantaPM collects and manages information on all manipulations on text documents used in作者: 骨 時(shí)間: 2025-3-26 14:31
Development of a programming environment for Setl,ax and static semantics. The internal representation of a Setl program is a tree defined by the abstract syntax of Setl and annotated by computed type information. First, we discuss the choices done in the definition of the abstract syntax. Then we present the problems related to the type determinat作者: micturition 時(shí)間: 2025-3-26 17:52 作者: Enliven 時(shí)間: 2025-3-26 23:25 作者: 機(jī)械 時(shí)間: 2025-3-27 02:19
Enhancing configuration facilities in software development: A logic approach,t describes part of a work which proposes Logic Data Bases as effective tools to be integrated with existing programming environments to increase their formalization and automation capabilities. In order to present the idea and its implications, we discuss, as a practical example, the integration of作者: Commonwealth 時(shí)間: 2025-3-27 09:12
9樓作者: 改良 時(shí)間: 2025-3-27 11:33
9樓作者: 強(qiáng)壯 時(shí)間: 2025-3-27 17:37
10樓作者: Insensate 時(shí)間: 2025-3-27 18:09
10樓作者: Small-Intestine 時(shí)間: 2025-3-28 01:51
10樓作者: 瘙癢 時(shí)間: 2025-3-28 02:46
10樓
