e-Informatica: software engineering journal -外文期刊【掌桥科研】

全选（0）

1.Problems, methods and specialisation

机译：Problems, methods and specialisation
- 期刊名称：《e-Informatica: software engineering journal》 | 1994年第6期
2.Symbolic execution systems#x2014;a review

机译：Symbolic execution systems#x2014;a review
- 期刊名称：《e-Informatica: software engineering journal》 | 1988年第6期
3.Durra: a structure description language for developing distributed applications

机译：Durra: a structure description language for developing distributed applications
- 期刊名称：《e-Informatica: software engineering journal》 | 1993年第2期
4.A model for graphical interaction

机译：A model for graphical interaction
- 期刊名称：《e-Informatica: software engineering journal》 | 1988年第6期
5.A reuse-oriented approach for structuring and configuring distributed applications

机译：A reuse-oriented approach for structuring and configuring distributed applications
- 期刊名称：《e-Informatica: software engineering journal》 | 1993年第2期
6.An abstract execution model for basic LOTOS

机译：An abstract execution model for basic LOTOS
- 期刊名称：《e-Informatica: software engineering journal》 | 1990年第6期
7.SPMMS #x2014; information structures in software management

机译：SPMMS #x2014; information structures in software management
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第1期
8.Transition from Coral to Ada programming

机译：Transition from Coral to Ada programming
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第4期
9.Data structures for physical representation of VLSI

机译：Data structures for physical representation of VLSI
- 期刊名称：《e-Informatica: software engineering journal》 | 1990年第6期
10.NewSpeak: an unexceptional language

机译：NewSpeak: an unexceptional language
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第4期
11.Problem decomposition for reuse

机译：Problem decomposition for reuse
- 期刊名称：《e-Informatica: software engineering journal》 | 1996年第1期
12.Systems will be people too

机译：Systems will be people too
- 期刊名称：《e-Informatica: software engineering journal》 | 1994年第6期
13.Tool support for requirements analysis

机译：Tool support for requirements analysis
- 期刊名称：《e-Informatica: software engineering journal》 | 1988年第3期
14.A pictorial approach to the animation of process-oriented formal specifications

机译：A pictorial approach to the animation of process-oriented formal specifications
- 期刊名称：《e-Informatica: software engineering journal》 | 1988年第4期
15.A Bayesian modification to the Jelinski-Moranda software reliability growth model

机译：A Bayesian modification to the Jelinski-Moranda software reliability growth model
- 期刊名称：《e-Informatica: software engineering journal》 | 1987年第2期
16.Structured planning#x2013;project views

机译：Structured planning#x2013;project views
- 期刊名称：《e-Informatica: software engineering journal》 | 1988年第4期
17.Structuring parallel and distributed programs

机译：Structuring parallel and distributed programs
- 期刊名称：《e-Informatica: software engineering journal》 | 1993年第2期
18.A software tool for testing JSP designed programs

机译：A software tool for testing JSP designed programs
- 期刊名称：《e-Informatica: software engineering journal》 | 1987年第2期
19.Towards a formal specification of revisable CORE: allowing for change

机译：Towards a formal specification of revisable CORE: allowing for change
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第6期
20.An environment for initial software engineering teaching

机译：An environment for initial software engineering teaching
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第6期
21.Reconfiguration and module replacement in Argus: theory and practice

机译：Reconfiguration and module replacement in Argus: theory and practice
- 期刊名称：《e-Informatica: software engineering journal》 | 1993年第2期
22.Transformations using a meta-system approach to software development

机译：Transformations using a meta-system approach to software development
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第6期
23.Structuring specifications in Z

机译：Structuring specifications in Z
- 期刊名称：《e-Informatica: software engineering journal》 | 1989年第1期
24.Exploring the behaviour of neural network software quality models

机译：Exploring the behaviour of neural network software quality models
- 期刊名称：《e-Informatica: software engineering journal》 | 1995年第3期
25.Viewpoints for requirements definition

机译：Viewpoints for requirements definition
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第6期
26.Timed Petri net approach to performance modelling with the MOON method

机译：Timed Petri net approach to performance modelling with the MOON method
- 期刊名称：《e-Informatica: software engineering journal》 | 1994年第3期
27.Automatic reconfiguration in the presence of failures

机译：Automatic reconfiguration in the presence of failures
- 期刊名称：《e-Informatica: software engineering journal》 | 1993年第2期
28.Justification of formal methods for system specification

机译：Justification of formal methods for system specification
- 期刊名称：《e-Informatica: software engineering journal》 | 1989年第1期
29.Transaction mechanisms for distributed programming environments

机译：Transaction mechanisms for distributed programming environments
- 期刊名称：《e-Informatica: software engineering journal》 | 1987年第5期
30.The use of software engineering data in support of project management

机译：The use of software engineering data in support of project management
- 期刊名称：《e-Informatica: software engineering journal》 | 1990年第6期
31.PolyForth: an electronics engineer's programming tool

机译：PolyForth: an electronics engineer's programming tool
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第4期
32.Extending the application of formal methods to analyse human error and system failure during accident investigations

机译：Extending the application of formal methods to analyse human error and system failure during accident investigations
- 期刊名称：《e-Informatica: software engineering journal》 | 1996年第6期
33.A model-based diagnostic program

机译：A model-based diagnostic program
- 期刊名称：《e-Informatica: software engineering journal》 | 1987年第3期
34.The evolution of configuration management and version control

机译：The evolution of configuration management and version control
- 期刊名称：《e-Informatica: software engineering journal》 | 1990年第6期
35.Professional and technical responsibility of BCS members

机译：Professional and technical responsibility of BCS members
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第2期
36.Managing command submission in a multiple-window environment

机译：Managing command submission in a multiple-window environment
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第5期
37.Computer-aided validation of formal specifications

机译：Computer-aided validation of formal specifications
- 期刊名称：《e-Informatica: software engineering journal》 | 1995年第4期
38.Cross-viewpoint consistency in open distributed processing

机译：Cross-viewpoint consistency in open distributed processing
- 期刊名称：《e-Informatica: software engineering journal》 | 1996年第1期
39.Features of artificial intelligence languages and their environments

机译：Features of artificial intelligence languages and their environments
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第4期
40.High-level extensions for user-interface programming

机译：High-level extensions for user-interface programming
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第6期
41.An introduction to Occam and the development of parallel software

机译：An introduction to Occam and the development of parallel software
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第4期
42.To prototype or not to prototype#x003F; That is the question

机译：To prototype or not to prototype#x003F; That is the question
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第6期
43.An abstract data-type technique for scientific software

机译：An abstract data-type technique for scientific software
- 期刊名称：《e-Informatica: software engineering journal》 | 1987年第3期
44.On hierarchical software metrics

机译：On hierarchical software metrics
- 期刊名称：《e-Informatica: software engineering journal》 | 1987年第2期
45.Epilogue: engineering the software development process

机译：Epilogue: engineering the software development process
- 期刊名称：《e-Informatica: software engineering journal》 | 1991年第5期
46.Some elementary questions on software quality control

机译：Some elementary questions on software quality control
- 期刊名称：《e-Informatica: software engineering journal》 | 1990年第6期
47.Requirements engineering with viewpoints

机译：Requirements engineering with viewpoints
- 期刊名称：《e-Informatica: software engineering journal》 | 1996年第1期
48.Distributed Systems Engineering

机译：Distributed Systems Engineering
- 期刊名称：《e-Informatica: software engineering journal》 | 1996年第6期
49.Building distributed systems with remote procedure call

机译：Building distributed systems with remote procedure call
- 期刊名称：《e-Informatica: software engineering journal》 | 1987年第5期
50.Specification of interfering programs based on interconditions

机译：Specification of interfering programs based on interconditions
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第3期
51.Integrated support for systems design

机译：Integrated support for systems design
- 期刊名称：《e-Informatica: software engineering journal》 | 1990年第6期
52.Formal validation of viewpoint specifications

机译：Formal validation of viewpoint specifications
- 期刊名称：《e-Informatica: software engineering journal》 | 1996年第1期
53.A programming environment for Modula-2

机译：A programming environment for Modula-2
- 期刊名称：《e-Informatica: software engineering journal》 | 1988年第4期
54.Software development: two approaches to animation of Z specifications using prolog

机译：Software development: two approaches to animation of Z specifications using prolog
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第4期
55.Surgeon: a packager for dynamically reconfigurable distributed applications

机译：Surgeon: a packager for dynamically reconfigurable distributed applications
- 期刊名称：《e-Informatica: software engineering journal》 | 1993年第2期
56.Concurrent C: real-time programming and fault tolerance

机译：Concurrent C: real-time programming and fault tolerance
- 期刊名称：《e-Informatica: software engineering journal》 | 1991年第3期
57.Coral 86

机译：Coral 86
- 期刊名称：《e-Informatica: software engineering journal》 | 1986年第4期
58.Modelling of visualised data-flow diagrams using petri net model

机译：Modelling of visualised data-flow diagrams using petri net model
- 期刊名称：《e-Informatica: software engineering journal》 | 1992年第1期
59.Using ViewPoints for inconsistency management

机译：Using ViewPoints for inconsistency management
- 期刊名称：《e-Informatica: software engineering journal》 | 1996年第1期
60.Functional system specification

机译：Functional system specification
- 期刊名称：《e-Informatica: software engineering journal》 | 1988年第4期
61.Formal methods for database language design and constraint handling

机译：Formal methods for database language design and constraint handling
- 期刊名称：《e-Informatica: software engineering journal》 | 1989年第1期