Analyzing Chor Specifications by Translation into FSP
نویسندگان
چکیده
منابع مشابه
grammatical adjustments in translation from english into persian by iranian students
بمنظور مشخص نمودن ارتباط میان برخی از ساختارهای دستور زبان انگلیسی و میزان دشواری این ساختارها در ترجمه سولات تحقیق و فرضیات صفر بشرح ذیل مطرح گردید: 1 - آیا دانشجویان ایرانی مشکلاتی در ارتباط با سازش دستوری در ترجمه از زبان انگلیسی به زبان فارسی دارند؟ 2 - آیا رابطه ای بین فرمهای دستوری زبان انگلیسی و میزان دشواری این فرمها در ترجمه از زبان انگلیسی به زبان فارسی وجود دارد؟ فرضیه 1 : دانشجویان ...
15 صفحه اولan investigation into translation of cultural concepts by beginner and advance student using think – aloud protocols
this research aims at answering the questions about translation problems and strategies applied by translators when translating cultural concepts. in order to address this issue, qualitative and quantitative study were conducted on two groups of subjects at imam reza international university of mashhad. these two groups were assigned as beginner and advanced translation students (10 students). ...
Automatic Translation of Architecture Constraint Specifications into Components
Architecture constraints are specifications defined by developers at design-time and checked on design artifacts (architecture descriptions, like UML models). They enable to check, after an evolution, whether an architecture description still conforms to the conditions imposed by an architecture pattern, style or any design principle. One possible language for specifying such constraints is the...
متن کاملA translation method from natural language specifications into formal specifications using contextual dependencies
This paper presents a method of translating natural language specifications of communication protocols into algebraic specifications. Such a natural language specification specifies action sequences performed by the protocol machine (program). Usually, a sentence implicitly specifies the state of the protocol machine at which the described actions should be performed. A method of analyzing the ...
متن کاملA Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies
SUMMARY This paper presents a method of translating natural language specifications of communication protocols into algebraic specifications. Such a natural language specification specifies action sequences performed by the protocol machine (program). Usually, a sentence implicitly specifies the state of the protocol machine at which the described actions must be performed. The authors propose ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.10.030