CML: C Modeling Language

Простая страница элемента
dc.creatorJr.,Frederico
dc.creatorLima,Ricardo
dc.creatorCornelio,Marcio
dc.creatorSoares,Sergio
dc.creatorMaciel,Paulo
dc.creatorBarreto,Raimundo
dc.creatorTavares,Eduardo
dc.date2007
dc.date.accessioned2024-02-06T12:55:26Z
dc.date.available2024-02-06T12:55:26Z
dc.descriptionNon-functional requirements such as performance, program size, and energy consumption significantly affect the quality of software systems. Small devices like PDAs and mobile phones have little memory, slow processors, and energy constraints. The C programming language has been the choice of many programmers when developing application for small devices. On the other hand, the need for functional software correctness has derived several specification languages that adopt the Design by Contract (DBC) technique. In this work we propose a specification language for C, called CML (C Modeling Language), focused on non-functional requirements. CML is inspired on the Design By Contract technique. An additional contribution is a verification tool for hard real-time systems. The tool is the first application developed for CML. The practical usage of CML is presented through a case study, which is a real application for a vehicle monitoring system.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-013-06-0682
dc.identifierhttps://lib.jucs.org/article/28796/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/9374
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 13(6): 682-700
dc.subjectspecification language
dc.subjectnon-functional requirements
dc.subjectc programming language
dc.titleCML: C Modeling Language
dc.typeResearch Article
Файлы
Коллекции
Публикации в журналах НИЯУ МИФИ