Titlebook: ESEC ‘87; 1st European Softwar Howard Nichols,Dan Simpson Conference proceedings 1987 Springer-Verlag Berlin Heidelberg 1987 Action.Ada.C p

可樂

書目名稱ESEC ‘87影響因子(影響力)




書目名稱ESEC ‘87影響因子(影響力)學(xué)科排名




書目名稱ESEC ‘87網(wǎng)絡(luò)公開度




書目名稱ESEC ‘87網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱ESEC ‘87被引頻次




書目名稱ESEC ‘87被引頻次學(xué)科排名




書目名稱ESEC ‘87年度引用




書目名稱ESEC ‘87年度引用學(xué)科排名




書目名稱ESEC ‘87讀者反饋




書目名稱ESEC ‘87讀者反饋學(xué)科排名

畫布

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

gene-therapy

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

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

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

UNT

懲罰

,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

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.