作者: 復(fù)習(xí) 時(shí)間: 2025-3-21 22:50
https://doi.org/10.1057/9780230270282ollaboration between members. A collaborator is defined as a function of KyotoDB-I which can organize a common session on many individual workstations, and which enables project members to talk to one another through workstations and to achieve consistent software configuration items. In the collabo作者: 享樂(lè)主義者 時(shí)間: 2025-3-22 01:59 作者: 控訴 時(shí)間: 2025-3-22 07:06 作者: lattice 時(shí)間: 2025-3-22 11:53 作者: 審問(wèn),審訊 時(shí)間: 2025-3-22 15:21
https://doi.org/10.1057/9780230253094ty of a specification language expression is much superior to that of a verification expression based on reachability analysis. For this reason, we give a procedure for directly reflecting the results of verification on a specification language, into an expression for verification. Our user-friendly作者: 審問(wèn),審訊 時(shí)間: 2025-3-22 17:24 作者: 松馳 時(shí)間: 2025-3-22 23:43
https://doi.org/10.1057/9780230253094stributed processing. In ., an object-based environment is implemented on its process-based system architecture. The object group is a key mechanism in an object-based environment to realize hierarchical, integrated object processing and management..In this paper, we first discuss the design goals a作者: 即席 時(shí)間: 2025-3-23 05:07 作者: 要素 時(shí)間: 2025-3-23 06:48
A Computer-Aided Software Requirements Engineering Environment: KyotoDB-Iollaboration between members. A collaborator is defined as a function of KyotoDB-I which can organize a common session on many individual workstations, and which enables project members to talk to one another through workstations and to achieve consistent software configuration items. In the collabo作者: TOM 時(shí)間: 2025-3-23 13:13 作者: 影響帶來(lái) 時(shí)間: 2025-3-23 13:55
A Qualitative Quantitative Simulator Based on Constraint Logic Programming behaviors that match given numerical data. Second, two behaviors produced by different perturbations are comparable for desired analyses. Third, QQS obtains qualitative descriptions that correspond to the interpretations of numerical data. Since these facilities are provided within a constraint-ori作者: 遷移 時(shí)間: 2025-3-23 20:46 作者: chondromalacia 時(shí)間: 2025-3-23 22:32
A User-Friendly Software Environment for Designing and Verifying Communication Protocolsty of a specification language expression is much superior to that of a verification expression based on reachability analysis. For this reason, we give a procedure for directly reflecting the results of verification on a specification language, into an expression for verification. Our user-friendly作者: 言行自由 時(shí)間: 2025-3-24 03:46
An Object-Oriented Native-Language Support for the Andrew Toolkitt native-language processing without any modification..In this paper, we will describe the design of the native-language support and data model, and discuss the advantages of our idea, through the experimental development of a native-language processing application, and the extension of an existing 作者: FICE 時(shí)間: 2025-3-24 09:15 作者: 薄荷醇 時(shí)間: 2025-3-24 11:51
Implementation of an Object-Oriented Concurrent Programming Language on a Multiprocessor System be a minimal extension to COB. The main feature of its runtime system is that it has a two-layered structure. The first layer provides concurrency of objects and communication between them. The second layer provides extra functions, such as memory management, based on the first layer. Results of an evaluation of the runtime system are discussed.作者: 加入 時(shí)間: 2025-3-24 15:34 作者: 割公牛膨脹 時(shí)間: 2025-3-24 22:50
nto software development techniques, including new languages and communication software, in the network environment. This book contains the results of a joint research project between IBM Japan and twelve universities, the purpose of which was to implement prototypes of some of the technologies that作者: Inculcate 時(shí)間: 2025-3-25 01:50 作者: Jacket 時(shí)間: 2025-3-25 04:10
https://doi.org/10.1057/9780230270282ent language, we can define an object that is not known to any object as garbage. By introducing a mechanism to support the “knows”-re)ation between objects which change dynamically, we implemented the proposed method in the object-oriented concurrent language A.CL/.. This method is applicable to distributed systems.作者: 向下 時(shí)間: 2025-3-25 08:28
Book 1991natural-language interfaces, and 3) software development environments with related operating systems. The results may be implemented as research tools, possibly for business use, in the field of software development techniques.作者: MAZE 時(shí)間: 2025-3-25 12:20 作者: 沖擊力 時(shí)間: 2025-3-25 17:15
https://doi.org/10.1057/9780230270282compilation. This construction can be applied to other combinations of procedural languages and algebraic specifications..An application of C= = to line-drawing software is presented, and the experience shows that a hybrid language such as C= = is useful in developing the event-driven programs.作者: Collar 時(shí)間: 2025-3-25 20:30 作者: 記憶 時(shí)間: 2025-3-26 01:27
https://doi.org/10.1057/9780230253094digest playback mode plays the record partially, and the dynamic playback mode plays the entire record. Also, for playing back records that, stand alone and for virtual playing of group work, VTALK supports a virtual communication function..A prototype VTALK has been developed and has been successfully run on a 10 Mbps Ethernet.作者: ALERT 時(shí)間: 2025-3-26 08:10
Hybrid Language of C and Equations C= =compilation. This construction can be applied to other combinations of procedural languages and algebraic specifications..An application of C= = to line-drawing software is presented, and the experience shows that a hybrid language such as C= = is useful in developing the event-driven programs.作者: 肥料 時(shí)間: 2025-3-26 09:46 作者: commonsense 時(shí)間: 2025-3-26 13:10
Realtime Communication Processing System with Video Function in the Networking Environmentdigest playback mode plays the record partially, and the dynamic playback mode plays the entire record. Also, for playing back records that, stand alone and for virtual playing of group work, VTALK supports a virtual communication function..A prototype VTALK has been developed and has been successfully run on a 10 Mbps Ethernet.作者: PAN 時(shí)間: 2025-3-26 20:47
Book 1991re development techniques, including new languages and communication software, in the network environment. This book contains the results of a joint research project between IBM Japan and twelve universities, the purpose of which was to implement prototypes of some of the technologies that are feasi作者: homeostasis 時(shí)間: 2025-3-27 00:28
https://doi.org/10.1057/9780230270282h enables the detection of errors in definitions of requirements..We describe characteristics of X-JRDL and the ease with which it allows the writing and reading of requirements. We also discuss how a requirements description with X-JRDL is utilized in the design and maintenance phase of a software life cycle.作者: Encapsulate 時(shí)間: 2025-3-27 04:25
Japanese Software Requirements Definition Based on Requirements Frame Modelh enables the detection of errors in definitions of requirements..We describe characteristics of X-JRDL and the ease with which it allows the writing and reading of requirements. We also discuss how a requirements description with X-JRDL is utilized in the design and maintenance phase of a software life cycle.作者: promote 時(shí)間: 2025-3-27 05:31 作者: Arboreal 時(shí)間: 2025-3-27 10:05 作者: 捐助 時(shí)間: 2025-3-27 16:17
A Computer-Aided Software Requirements Engineering Environment: KyotoDB-Iment which allows project members to create a project model (object-oriented model), interprets the described model, and manages a set of persistent objects. Each of the objects included in the project model represents (1) a model/view of one individual software configuration item, (2) a plan (proce作者: flaunt 時(shí)間: 2025-3-27 18:23
Implementation of an Object-Oriented Concurrent Programming Language on a Multiprocessor Systemdescribed. ConcurrentCOB is a concurrency extension to the object-oriented programming language COB. The design principle is that ConcurrentCOB should be a minimal extension to COB. The main feature of its runtime system is that it has a two-layered structure. The first layer provides concurrency of作者: 織布機(jī) 時(shí)間: 2025-3-27 22:24
A Garbage Collecting Method for Object-Oriented Concurrent Languagest languages. In order for an object to send a message to another object, the object has to be known to the other object. So in object-oriented concurrent language, we can define an object that is not known to any object as garbage. By introducing a mechanism to support the “knows”-re)ation between o作者: Sarcoma 時(shí)間: 2025-3-28 03:57 作者: Foreshadow 時(shí)間: 2025-3-28 08:37 作者: Surgeon 時(shí)間: 2025-3-28 12:46 作者: 群島 時(shí)間: 2025-3-28 16:53
Design and Evaluation of Part-Oriented Parallel Algorithmsroduce a “part,” which performs the computation of a relatively independent task. A part is able to be treated as a unit of asynchronous and nondeterministic computation. Five programs are given, in order of increasing independence. They are written in extended C language and simulated on a single p作者: asthma 時(shí)間: 2025-3-28 19:11
ObjectTags: An Interactive Tool to Understand C Programsy appearing in the text of a program. ObjectTags allows a user to concentrate on understanding the behavior of the program because the user need not change his or her viewpoint to search for declarations or definitions of identifiers. ObjectTags works under a multi-window environment. Whenever a use作者: HEPA-filter 時(shí)間: 2025-3-29 02:30 作者: 小畫像 時(shí)間: 2025-3-29 05:17
Realtime Communication Processing System with Video Function in the Networking Environment cooperative information processing. In this paper, we explain the system structure and the functions of the VTALK (Visual Talk) system, and note some subjects for further research..VTALK supports realtime group work using multimedia information data such as images and character strings, and records作者: 舊石器 時(shí)間: 2025-3-29 09:17
A User-Friendly Software Environment for Designing and Verifying Communication ProtocolsESDEL transformation, where EXPA is a protocol verification method based on extended reachability analysis and NESDEL is a protocol specification language. The aim of this system is to provide a user-friendly interface by providing the two transformations as well as by extending the existing reachab作者: colloquial 時(shí)間: 2025-3-29 12:00
MOA—A Model of a Computer Environment and Its Interface for Supporting Highly Intelligent Human Workwork is described. For this model, the amalgamation of a hypertext system and an inference system is adopted. This paper provides a realistic example of the use of the model in the medical field, and gives a description of system behavior in this model. A formal description of the model is also pres作者: syring 時(shí)間: 2025-3-29 18:37 作者: immunity 時(shí)間: 2025-3-29 21:16
The Galaxy Distributed Operating Systemism to accomplish this is the three-level object-naming scheme which has many features for reliability, efficiency, and flexibility. Based on this naming scheme, a network-wide virtual address space called the uniform address space is constructed. It facilitates smooth load and information sharing. 作者: 成份 時(shí)間: 2025-3-30 03:22
https://doi.org/10.1057/9780230270282 increasing. In accordance with the progress of computer technologies, many application systems have been developed and used in government, industry, social life, education, and research. Reviewing the history of application life-cycles, we can see that each application system has been developed for作者: wangle 時(shí)間: 2025-3-30 07:50
https://doi.org/10.1057/9780230270282to improvement in the quality of specification of requirements, there remain problems. Since such techniques are usually based on formal requirements, it is hard for many software developers to read and write the specifications. In this paper, we propose a technique for the definition of requirement作者: installment 時(shí)間: 2025-3-30 08:57 作者: 軟膏 時(shí)間: 2025-3-30 15:00 作者: MOCK 時(shí)間: 2025-3-30 18:55
https://doi.org/10.1057/9780230270282t languages. In order for an object to send a message to another object, the object has to be known to the other object. So in object-oriented concurrent language, we can define an object that is not known to any object as garbage. By introducing a mechanism to support the “knows”-re)ation between o作者: Mingle 時(shí)間: 2025-3-30 23:36 作者: 急性 時(shí)間: 2025-3-31 04:16 作者: harpsichord 時(shí)間: 2025-3-31 06:01
