Yazılım mühendisliği eğitim programlari ve biçimsel yöntemlerin rolü
| dc.authorid | TR14138 | en_US |
| dc.contributor.author | Altan, Zeynep | |
| dc.date.accessioned | 2014-09-29T14:03:25Z | |
| dc.date.available | 2014-09-29T14:03:25Z | |
| dc.date.issued | 2010 | en_US |
| dc.department | İstanbul Ticaret Üniversitesi | en_US |
| dc.description.abstract | Yazılım mühendisliği kavramının yazılım geliştirme problemine çözüm olarak önerilmesi ve yazılım mühendisliğinin farklı bir disiplin olarak kabul edilmesi 1968 yılında yapılan NATO konferansına dayanır. Yazılım mühendisliğinin bilgisayar bilimleri ile ilişkisi yıllarca tartışılmasına rağmen, bağımsız bir meslek olarak kabulünde son 10 yılda büyük ilerlemeler kaydedilmiştir. Biçimsel yöntemler üniversitelerin hemen hemen tüm yazılım mühendisliği programlarında ders olarak okutulmasına rağmen, endüstriyel ve ticari projelerde pek yaygın kullanılmamaktadır. Biçimsel yöntemler dersinin programlarda yer almasının en olumlu etkisi, öğrencilerin doğrudan kodlamaya başlamak yerine, belirtimler üzerinde düşünmeye zorlanmalarıdır. Ayrıca bu disiplinden endüstriyel projelerde yararlanıldığında, yazılımın niteliği ve finansal yapılanmaya büyük katkısı olmaktadır. Biçimsel yöntemlerin başarısına erişebilecek ölçümlerin oluşturulması güçtür. Her bin satırlık kod için hata sayısı ölçüm olarak değerlendirildiğinde, biçimsel yöntemlerden yararlanılıyorsa, hatalar geliştirme sürecinin ilk adımlarında düzeltilebilir. Bu çalışmada yazılım mühendisliği eğitim programlarının bilgisayar programları içindeki yeri ve yazılım sistemlerinin geliştirilmesi sürecinde biçimsel yöntemlerin önemi araştırılmakta; öğrencilerin yazılım sistemleri üzerindeki pratik becerilerini geliştirmelerinde teorik modellerin etkisi açıklanmaktadır. | en_US |
| dc.description.abstract | The proposal of software engineering notation as a solution to the software development problems and the acknowledgement of it as a stand-alone discipline are dated to NATO conference held in 1968. Although the relationship of software engineering to computer science has been discussed over many years, there has been great progress in establishing software engineering as a mature profession in the last 10 years. Although the course formal method is taught about at all of the software engineering degree programs, they are not widely applied to the industrial and commercial projects. One of the most advantages of formal methods is that the students are obligated to think in detail about the software specification, and they don’t attempt to begin the coding immediately. The huge contribution of formal methods to the software quality and also to the financial implications is it’s another benefit. Moreover it seems difficult to set up metrics that can access the success of the formal methods. If the number of errors per thousand lines of code is considered as a measurement for any project utilizing formal methods, the major errors will be detected at an earlier stage of the development process. This paper describes the position of software engineering education programs on other computer discipline programs and researches the importance of formal methods on the developing process of software systems. The impact of theoretical models is also explained while the students develop their practical skills at software systems. | en_US |
| dc.identifier.endpage | 29 | en_US |
| dc.identifier.issn | 1303-5495 | |
| dc.identifier.issue | 27 | en_US |
| dc.identifier.startpage | 111 | en_US |
| dc.identifier.uri | https://hdl.handle.net/11467/472 | |
| dc.identifier.volume | 9 | en_US |
| dc.language.iso | tr | en_US |
| dc.publisher | İstanbul Ticaret Üniversitesi | en_US |
| dc.relation.ispartof | İstanbul Ticaret Üniversitesi Fen Bilimleri Dergisi | en_US |
| dc.relation.publicationcategory | Makale - Ulusal Hakemli Dergi - Başka Kurum Yazarı | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | Biçimsel Yöntemler | en_US |
| dc.subject | Ölçüm | en_US |
| dc.subject | Yazılım Betimlemesi | |
| dc.subject | Soyutlama | |
| dc.subject | Formal Methods | |
| dc.subject | Measurement | |
| dc.subject | Software Specification | |
| dc.subject | Abstraction | |
| dc.title | Yazılım mühendisliği eğitim programlari ve biçimsel yöntemlerin rolü | en_US |
| dc.title.alternative | Software engineering education programs and the role of formal methods | en_US |
| dc.type | Article | en_US |
