لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Behzad Soleimani Neysiani
Mehdi Khalili
Seyed Morteza Babamir
نتایج 21 تا 30 از مجموع 86
1
2
3
4
5
6
...
Last
Conference Paper
آزمون جریان داده تولید نمونه از نمودارهای کلاس UML
Authors:
نجما سلطانی
،
عصمت آقایی
Year 1395
Publish place:
Pages:
9
| Language: Persian
View And Download
Conference Paper
بررسی روش های ارزیابی نیازمندیهای غیروظیفه مندی در سطح معماری نرم افزار
Authors:
محبوبه صادقیان لمراسکی
،
صابر کشیر
Year 1395
Publish place:
1st National Conference on Flight Robots
Pages:
5
| Language: Persian
View And Download
Conference Paper
ارزیابی عملکرد نرمافزار با تبدیل نمودارهای UML به شبکه پتری رنگی
Authors:
شهرزاد دهقانی
،
نسیم سلطانی
،
بهزاد سلیمانی نیسیانی
Year 1394
Publish place:
1st National Conference on Distributed Computing and Big Data Processing
Pages:
5
| Language: Persian
View And Download
Conference Paper
مروری بر زبان توصیف معماری
Authors:
شهربانو زنگارکی
،
میرعلی سیدی
Year 1395
Publish place:
Pages:
6
| Language: Persian
View And Download
Conference Paper
رویکردهای تخمین اندازه کد مبدا برای سیستم های موضوعی
Authors:
حمید رضا کوچک زاده
،
آرمین غروری
Year 1394
Publish place:
The first computer and network technology vision conference in 2030
Pages:
13
| Language: Persian
View And Download
Conference Paper
Towards automatic generation of formal specifications for UML consistency verification
Authors:
Mohammadreza Sharbaf
،
Bahman Zamani
،
Behrouz Tork Ladani
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
6
| Language: English
View And Download
Conference Paper
The source code size estimation metrics for object oriented systems
Authors:
Sepide Sabrjoo
،
Mehdi Khalili
،
Mahsa Nazari
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
8
| Language: English
View And Download
Conference Paper
Formal Verification of UML Statecharts using the LOTOS Formal Language
Authors:
Mohamad Javani
،
Behzad Soleimani Neysiani
،
Seyed Morteza Babamir
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
7
| Language: English
View And Download
Conference Paper
Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems
Authors:
Behzad Soleimani Neysian
،
Seyed Morteza Babamir
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
6
| Language: English
View And Download
Conference Paper
A Model Driven Architecture (MDA) Based algorithm for Service- Oriented ETL process in Data warehouse
Authors:
Fatemeh alizadeh
،
Mehdi khalili
Year 1394
Publish place:
2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation
Pages:
6
| Language: English
View And Download
نتایج 21 تا 30 از مجموع 86
1
2
3
4
5
6
...
Last