One goal of software engineering instructors is to educate students about principles underlying the various phases of the software life cycle. Instructors work towards preparing and equipping students with knowledge a...
详细信息
The aim of this paper is to promote the idea of developing reusable coordination patterns for parallel computing, i.e. customizable components from which parallel applications can be built by software composition. To ...
详细信息
The detailed stage of structural design has benefited considerably from computer automation of the numerically intensive tasks of structural analysis, optimization and conformance checking using the procedural program...
详细信息
The detailed stage of structural design has benefited considerably from computer automation of the numerically intensive tasks of structural analysis, optimization and conformance checking using the procedural programming approach. Such an approach, however, does not allow for the representation and utilization of heuristic knowledge implicit in previous design solutions, which is often difficult or impossible to represent algorithmically. This paper describes how artificial neural networks can be trained to learn heuristic knowledge from previous design solutions and how this knowledge can then be applied to produce a solution to a similar design problem. Copyright (C) 1996 Civil-Comp Limited and Elsevier science Limited
An appropriate combination of object-oriented programming concepts allows not only the development of single reusable components but also of semifinished architectures (=frameworks). The paper first discusses the conc...
详细信息
It has been attracting much attention to make use of list homomorphisms in parallel programming because they ideally suit the divide-and-conquer parallel paradigm. However, they have been usually treated rather inform...
详细信息
The paper describes a simple modeling andprogramming approach for speeding up constraint propagation. The idea, although similar to redundant constraints, is based on the concept of redundant modeling. We define CSP ...
详细信息
E-GENET shows certain success on extending GENET for non-binary CSP's. However, the generic constraint representation scheme of E-GENET induces the problem of storing too many penalty values in constraint nodes an...
详细信息
In this paper, we formulate train rescheduling as constraint satisfaction problem and describe a constraint propagation approach to tackle it. Algorithms for timetable verifications and train rescheduling are designed...
详细信息
The proceedings contain 37 papers. The special focus in this conference is on Ada in Europe. The topics include: A sceptical assessment;an approach to overcome the software crisis;an executive for ada safety critical ...
ISBN:
(纸本)3540607579
The proceedings contain 37 papers. The special focus in this conference is on Ada in Europe. The topics include: A sceptical assessment;an approach to overcome the software crisis;an executive for ada safety critical applications;developing fault tolerant software in ada for real-time dependable systems;the practical application of safety techniques on an ada based project;ada in mixed language applications;heterogeneous data structures and cross-classification of objects with ada95;an AndF based ada 95 compiler system;performance tuning of a check-out system coded in ada;development of the on-board software;first operational ada application in C.N.E.S;extending the ada 95 initial conditions for preelaboration for use in real-time systems;the use of ada for the ENVISAT-1 simulator;objects at use in nautical simulators;an interface to distributed interactive simulation;partitioned ada for remotely invoked services;programming distributed systems with both ada 95 and PVM;distributed object oriented programming and interoperability for ada 95;distributed and parallel systems and HOOD 4;a re-engineering methodology and supporting tool;translating shlaer/mellor object-oriented analysis models into ada95;the introduction of an object-oriented analysis/design method and object-oriented metrics in the software development life-cycle;modeling and validation of tasks with algebraic structured nets;design of concurrent software based on problem concurrency;a successful experiment combining CCSDS SFDUs, X/Motif, HOOD and ada;applying teamwork/ada and RAISE for developing an air traffic control application and breaking through the V and V bottleneck.
暂无评论