首页>外文会议>其他>IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools

IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An introduction to evolution of large systems based on Software Architectures

机译：基于软件架构的大型系统演化介绍
- 作者：J.C. Duenas;G. Leon
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- large software systems;
- variation management;
- software architecture;
- architectural description languages;
- adoption process;
2.Modeling and simulating optical computing architectures

机译：建模与模拟光学计算架构
- 作者：I.R. Jones;V.P. Heuring
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- optical computing;
- petri nets;
- timed petri nets;
- colored petri nets;
- system modeling;
- simulation;
- discrete event systems;
3.Design and implementation of database powered web systems-experiences from the DEMETER project

机译：Demeter项目的数据库供电的Web系统的设计与实现
- 作者：K.M. Goeschka
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
4.The Constraint logic programming paradigm; declarativity, efficiency, and flexibility

机译：约束逻辑编程范式; 申报性，效率和灵活性
- 作者：U. Geske;H.J. Goltz;U. John;A. Wolf
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- constraint logic programming;
- optimization;
- planning;
- configuration;
5.Compiling at 1000 MHz and beyond

机译：编制1000 MHz及以后
- 作者：D.B. Wortman
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- compilation;
- programming language processors;
- technology forecast;
6.Object-oriented software reusability through formal specifications

机译：面向对象的软件可重用性通过正式规格
- 作者：L.M. Favre;G.M. Diez
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- reusability;
- object-oriented programming;
- algebraic specification;
- formal methods;
7.A language adaptation architecture for reflective concurrent systems

机译：一种用于反射并发系统的语言适应架构
- 作者：C.H. Lin;E.H. Huang;T. Elrad
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- adaptation;
- decision controls;
- open implementation;
- reflection;
- reuse;
8.Using many-sorted natural semantics to specify and generate semantic analysis

机译：使用多种自然语义来指定和生成语义分析
- 作者：S. Glesner;W. Zimmermann
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- natural semantics;
- semantic analysis;
- specification;
- generator;
- imperative and object-oriented programming languages;
9.Agendas-A concept to guide software development activities

机译：议程 - 引导软件开发活动的概念
- 作者：M. Heisel
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- software engineering methodology;
- process modeling;
- formal methods;
10.Compsoitional design and implementation fo domain-specific languages

机译：特定于域的语言的组成设计和实现
- 作者：U. Kastens;P. Pfahler
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- domain specific languages;
- language design;
- compilers;
11.Java in high performance networking applications

机译：高性能网络应用中的Java
- 作者：I. Azbel;A. Wynne;D. Cook;K. MacGregor
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- java;
- video conferencing;
- java C integration;
- tele-teaching;
- tele-medecine;
12.Representing structural requirements in software architecture

机译：代表软件架构中的结构要求
- 作者：V. Ambriola;V. Gervasi
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- software architecture;
- requirements;
- design language;
13.Java as a systems programming language: three case studies

机译：Java作为系统编程语言：三个案例研究
- 作者：J.M. Bishop
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- java;
- distributed systems;
- GIS;
- web computing;
- language design;
14.A temporal logic language for system implementation

机译：系统实现的时间逻辑语言
- 作者：Z. Tang
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- temporal logic language;
- system implementation language;
- stepwise-refinement;
- specification;
- verification;
- prototyping;
- module;
- visual tools;
15.Meta-programming composers in second-generation component systems

机译：第二代组件系统中的元编程作曲器
- 作者：U. Assmann
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- software reuse;
- component systems;
- composition;
- meta-programming;
16.A knowledge-based methodology applied to linguistic engineering

机译：基于知识的方法应用于语言工程
- 作者：P. Martinez;A. Garcia-Serrano
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- knowledge-based systems;
- software architecture;
- linguistic engineering;
17.TTT-A simple type checked C language abstract data type generator

机译：TTT-Checked C语言抽象数据类型生成器
- 作者：W.J. Toetenel
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- abstract data type facility;
- C-language;
- VDM-SL;
18.Operating and window systems will never strike back or Independence day for Java developers

机译：操作和窗口系统永远不会击中java开发人员的反复或独立日
- 作者：N. Fricke;C. Lilienthal;M. Lippert;S. Roock;H. Wolf
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- java;
- GUI-builder;
- portability;
- independence;
- frameworks;
19.LEAD: a linguistic approach to dynamic adaptability for practical applications

机译：引领：一种语言学方法对实际应用的动态适应性
- 作者：N. Amano;T. Watanabe
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- software adaptation;
- meta-level architecture;
- reflection;
- mobile computing;
20.Evolution of WWW to support new integrated services

机译：WWW的演化支持新的综合服务
- 作者：A. Dede;Th. Zahariadis;G. Stassinopoulos
- 会议名称：《IFIP TC2 WG2.4 working conference on systems implementation: Languages, methods and tools》 | 1998年
- internet;
- WWW;
- information retrieval;
- TINA;
- HTTP;
- IIOP;
- CORBA;
- retailer;