检索结果-内蒙古大学图书馆

Beyond Words: Ensuring Due Process in Multilingual Arbitrations

INTERNATIONAL JOURNAL FOR THE SEMIOTICS OF LAW-REVUE INTERNATIONALE DE SEMIOTIQUE JURIDIQUE 2025年 1-23页

作者： Alhasan, Tariq Burr, Andrew Al Ahliyya Amman Univ Amman Jordan 16 Marina One Chambers London England

This paper investigates the normative dimensions of linguistic due process in arbitration through a critical examination of Jordanian Arbitration Law No. 30 of 2001 against transnational procedural standards. Employing doctrinal, comparative, and socio-legal methodologies, the study conceptualizes linguistic due process as a non-derogable element of arbitral justice rather than merely a procedural accommodation. The research reveals a jurisprudential tension between linguistic sovereignty and transnational adjudicative accessibility in Jordanian arbitration, where Arabic's default procedural status creates structural barriers for international parties despite statutory flexibility provisions. Analysis of landmark cases demonstrates how translation inadequacies and linguistic asymmetries compromise the epistemological integrity of arbitral proceedings, potentially invalidating awards under Article V(1)(b) of the New York Convention. The findings indicate that current Jordanian provisions insufficiently safeguard against language-based procedural inequities, necessitating reform through explicit criteria for language selection and mandatory qualified interpretation services. This research contributes to arbitration jurisprudence by reconceptualizing language not merely as communicative medium but as constitutive of procedural justice itself, essential for maintaining arbitration's legitimacy as a neutral transnational dispute resolution mechanism.

关键词： Arbitration Linguistic due process procedural language Access to justice Cultural sustainability Sustainability policy

来源：评论

学校读者我要写书评

暂无评论

A methodology to infer and refactor an object-oriented model from C applications

引用

SOFTWARE-PRACTICE & EXPERIENCE 2018年第3期48卷 550-577页

作者： Cassol, Ignacio Arevalo, Gabriela Univ Austral Fac Ingn Buenos Aires DF Argentina Univ Nacl Quilmes Dept Ciencia & Tecnol Buenos Aires DF Argentina Consejo Nacl Invest Cient & Tecn Buenos Aires DF Argentina Univ Abierta Interamer CAETI Buenos Aires DF Argentina

When analyzing legacy code, generating a high-level model of an application during the reverse engineering process helps the developers understand how the application is structured and how the dependencies relate the different software entities. Within the context of procedural programming languages (such as C), the existing approaches to get a model of the code require documentation and/or implicit knowledge that stakeholders acquire during the software building. These approaches use the code itself to build a syntactic model where we see the different software artifacts, such as variables, functions, and modules. However, there is no supporting methodology to detect and analyze if there are relationships/dependencies between those artifacts, such as which variable in a module is declared using an abstract data type described in another one, or which are the functions that are using parameters typed with an abstract data type;or any design decision taken by original developers, such as how the developer has implemented functions in different modules. On the other hand, current developers use object-oriented (OO) paradigm to implement not only business applications but also useful methodologies/tools that allow semiautomatic analysis of any application. We must remark the legacy procedural code still has worth and is working in several industries, and as any evolving code, the developers have to be able to perform maintenance tasks minimizing the limitations offered by the language. Based on useful properties that the OO paradigm (and their supporting analysis tools) provide, such as UML models, we propose M2K as a methodology to generate a high-level model from legacy procedural code, mainly written in Ansi C. To understand how C-based applications were implemented is not a new problem in software reengineering. However, our contribution is based on building an OO model and suggesting different refactorings that help the developer to improve it and to eventually gu

关键词： design recovery legacy software object-oriented paradigm procedural language reengineering refactoring reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Mitre :: Esd Technical Reports :: Esd-Tr-66-113 a Method for the Evaluation of Software Vol 2 Apr67

引用

2016年

[Auto Generated] SECTION ONE SECTION TWO SECTION THREE Pa e INTRODUCTION 1 MATRIX OF FEATURES 4 I. SOURCE language ORIENTED FEATURES 5 II. LOGIC AND CONTROL OF INPUT/OUTPUT DEVICES 7 III. COMPILER FEATURES 9 IV. PROGRAMMER ERROR DIAGNOSTICS 12 V. HARD-COPY OUTPUT AND FACILITY DOCUMENTATION 14 VI. MANUAL AND AUTOMATIC OPERATIONS 16 VII. FACILITY ADMINISTRATION 18 DESCRIPTION OF procedural language COMPILER FEATURES 19 I. SOURCE language ORIENTED FEATURES 19 II. LOGIC AND CONTROL OF INPUT/OUTPUT D

关键词： apr67 asa fortran checkout time compilation compilation time compiler errors esd-tr-66-113 evaluation execution time feature features language method mitre object object code object program procedural language program programmer programming time source source language source program

来源：评论

学校读者我要写书评

暂无评论

M2K An Approach for an Object-oriented Model of C Applications 10

M2K <i>An Approach for an Object</i>-<i>oriented Model of C ...

引用

10th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Cassol, Ignacio Arevalo, Gabriela Univ Austral Fac Ingn Buenos Aires DF Argentina Consejo Nacl Invest Cient & Tecn CAETI UAI DCyT UNQ Buenos Aires DF Argentina

ISBN: (纸本)9789897581434

When analyzing legacy code, generating a high-level model of an application helps the developers understand how the application was structured and how the dependencies relate the different software entities. Based on useful properties that the object-oriented paradigm (and their supporting analysis tools) provide, such as UML models, we propose M2K as a methodology (supported by our own tool) that generates a high-level model from legacy C code and proposes differents refactorings. To understand how procedural-based applications were implemented is not a new problem in software reengineering, however our contribution is based on building automatically an object-oriented model and help the experts to define manually different refactorings that let the developer to improve the application. Besides a methodology and the supporting tool, we provide a summary of thirteen case studies based on small-scaled real projects implemented in C and we showed how the results validate our proposal.

关键词： Reverse Engineering Legacy Software procedural language Object-oriented Paradigm Reengineering Refactoring Design Recovery

来源：评论

学校读者我要写书评

暂无评论

Space: the final frontier in the learning of science?

引用

CULTURAL STUDIES OF SCIENCE EDUCATION 2014年第1期9卷 133-139页

作者： Milne, Catherine NYU Sci Educ New York NY 10003 USA

In Space, relations, and the learning of science, Wolff-Michael Roth and Pei-Ling Hsu use ethnomethodology to explore high school interns learning shopwork and shoptalk in a research lab that is located in a world class facility for water quality analysis. Using interaction analysis they identify how spaces, like a research laboratory, can be structured as smart spaces to create a workflow (learning flow) so that shoptalk and shopwork can projectively organize the actions of interns even in new and unfamiliar settings. Using these findings they explore implications for the design of curriculum and learning spaces more broadly. The Forum papers of Erica Blatt and Cassie Quigley complement this analysis. Blatt expands the discussion on space as an active component of learning with an examination of teaching settings, beyond laboratory spaces, as active participants of education. Quigley examines smart spaces as authentic learning spaces while acknowledging how internship experiences all empirical elements of authentic learning including open-ended inquiry and empowerment. In this paper I synthesize these ideas and propose that a narrative structure might better support workflow, student agency and democratic decision making.

关键词： Narrative procedural language Space Agency Ethnomethodology Science content storylines

来源：评论

学校读者我要写书评

暂无评论

Automatic Elicitation System of Network Service Specifications from a Set of Rules

Automatic Elicitation System of Network Service Specificatio...

引用

Advanced International Conference on Telecommunications (AICT)

作者： M. Ohba T. Ohta SOKA University

ISBN: (纸本)9781424438402

Proposals have been made to describe services programs in a rule-based language, because it is easier to describe programs in a rule-based language than a procedural language. But, it is difficult to find bugs in programs described in a rule-based language. To solve the problem and to make it easier for service developers to find bugs in programs, service specifications can be elicited from programs described in a rule-based language. This paper proposes a system for automatically eliciting state transition diagrams based on an enhanced state transition model from a set of rules.

关键词： bugs Set (Psychology) procedural language State Change Rule language AUTOMATIC Specifications rule base Legal Services Bugs state transition diagram

来源：评论

学校读者我要写书评

暂无评论

A procedural and object-oriented statistical scripting language

引用

COMPUTATIONAL STATISTICS 2002年第3期17卷 395-410页

作者： Kobayashi, I Fujiwara, T Nakano, J Yamamoto, Y Tokushima Bunri Univ Kagawa 7692193 Japan Grad Univ Adv Studies Minato Ku Tokyo 1068569 Japan Inst Stat Math Minato Ku Tokyo 1068569 Japan

This paper describes the language for a statistical system named Jasp (JAva based Statistical Processor). Even if a statistical system has an advanced graphical user interface for operations, a language for it is still important in order to have complete control of it. The language is also used to implement new statistical procedures that are not realized in the system. For simplifying these, the Jasp language is designed as a procedural function-based scripting language especially for statistical analysis. The language, at the same time, can treat class-based objects for gathering related functions without difficulty. In addition, it can "glue" Java classes and routines written in native languages, and make them available simply.

关键词： Jasp Java object-oriented language procedural language scripting language statistical system

来源：评论

学校读者我要写书评

暂无评论

A knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controllers

引用

INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING 2002年第3期15卷 242-264页

作者： Zha, XF Li, LL Zhang, WJ Nanyang Technol Univ Sch Mech & Prod Engn Singapore 639798 Singapore Univ Saskatchewan Dept Mech Engn Saskatoon SK S7N 0W0 Canada Apogee Test Pte Ltd Singapore Singapore

The development of a Flexible Manufacturing System (FMS) controller is a very complicated task, both in the aspects of hardware and software. The design and verification of the controller is crucial for the development of FMS prior to putting it into test and use. This paper presents a knowledge-based Petri net model for FMS and its application for design and verification of an FMS controller. The modelling of FMS is implemented through incorporating Petri net techniques with general problem-solving strategies in AI and knowledge-based system techniques. The places and transitions and their relations of the knowledge Petri nets are annotated, based on an object oriented representation and programming techniques, from which the knowledge Petri nets can be formulated. A template can be first defined for a knowledge Petri net model, and then the model for FMS individuals is established in the form of instances of the template. The design and verification of an FMS controller is based on the checking for the control parts of FMS with the help of temporal relationships between the specification and physical operations of the FMS controller. The approach makes it simple to express FMS controls, and procedural language can be used for knowledge and information processing. It is thus possible to make a computer programme generate a Petri net for a given FMS, which is envisaged as necessary for the design and verification of an FMS controller. The developed knowledge Petri net system for FMS is internet-enabled and implemented through Java. It can be used for modelling and simulation of FMS, the design and verification of an FMS controller both as a standalone application and a www browser applet on the internet. Case studies are provided for the modelling and analysis of a FMS, and the design and verification of the FMS controller, to show the effectiveness over development with conventional methods and systems.

关键词： Flexible manufacturing systems Petri nets control section computer programs procedural language Controllers Verification

来源：评论

学校读者我要写书评

暂无评论

An information-leak analysis system based on program slicing

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2002年第15期44卷 903-910页

作者： Yokomori, R Ohata, F Takata, Y Seki, H Inoue, K Osaka Univ Grad Sch Engn Sci Toyonaka Osaka 5608531 Japan Nara Inst Sci & Technol Grad Sch Informat Sci Nara 6300101 Japan

For programs using secret information such as credit card numbers, preventing information-leaks is important. Denning, for example, has proposed a mechanism to certify that a given program does not violate a security policy. Kuninobu, on the other hand, has proposed a more practical framework for calculating the secrecy level of each output value from the secrecy level set to each input value, but no implementation has been yet explored. In this paper, we propose an implementation method for information-leak analysis, and show a system we have implemented based on program slicing. We have applied this system to a credit card program. Our results show that information-leak analysis before practical use of the program is important. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： program slice information-leak analysis program dependence graph procedural language

来源：评论

学校读者我要写书评

暂无评论

FIND: Automated debugging assistant system

引用

Systems and Computers in Japan 1998年第4期28卷

作者： Takao Shimomura NTT Software Laboratories Musashino Japan 180

Up to now, it has been a difficult task to locate faults in programs when failures have occurred in test runs. In doing so, a programmer first makes a guess about the possible cause of failure, and then verifies his guess. If the guess proves to be incorrect, then he checks another one, and so on by way of trial and error, which requires high skill and intelligence. With the method proposed in this paper, a system thoroughly analyzes the portions of a program that might be responsible for failure; thus, the system replaces a human programmer by an automatic search for faults of every sort. Examples of program debugging using the FIND automated debugging assistant system are presented. © 1997 Scripta Technica, Inc. Syst Comp Jpn, 28(4): 1–11, 1997

关键词： Algorithmic debugging program slice fault procedural language verification-by-division

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：