loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Lucas Cordeiro 1 ; Raimundo Barreto 2 and Meuse Oliveira 3

Affiliations: 1 Universidade Federal do Amazonas (DCC/UFAM), Centro de Ciâncias, Tecnologia e Inovação do Pólo Industrial de Manaus (CTPIM),, Brazil ; 2 Universidade Federal do Amazonas (DCC/UFAM), Brazil ; 3 Centro Federal de Educação Tecnológica de Pernambuco (DAES/CEFET-PE), Brazil

Keyword(s): Agile methodologies, Embedded Agile Development, Embedded Software Verification, Platform-Based De- sign, Real-time Software.

Related Ontology Subjects/Areas/Topics: Agile Methodologies ; Service-Oriented Software Engineering and Management ; Software and Systems Development Methodologies ; Software Engineering ; Software Project Management

Abstract: In recent days, the amount of functions has increased significantly in embedded products so that systems de- velopment methodologies play an important role to ensure the product’s quality, cost, and time. Furthermore, this complexity coupled with constantly evolving specifications, has led to propose a semiformal develop- ment methodology to support the building of embedded real-time systems. A platform-based design approach has been used to balance costs and time-to-market in relation to performance and functionality constraints. We performed three expressive case studies and we concluded that the proposed methodology significantly reduces design time and improves software modularity and reliability.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.129.70.63

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Cordeiro, L.; Barreto, R. and Oliveira, M. (2008). TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS. In Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-8111-28-9; ISSN 2184-4895, SciTePress, pages 5-12. DOI: 10.5220/0001758800050012

@conference{enase08,
author={Lucas Cordeiro. and Raimundo Barreto. and Meuse Oliveira.},
title={TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS},
booktitle={Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2008},
pages={5-12},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001758800050012},
isbn={978-989-8111-28-9},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS
SN - 978-989-8111-28-9
IS - 2184-4895
AU - Cordeiro, L.
AU - Barreto, R.
AU - Oliveira, M.
PY - 2008
SP - 5
EP - 12
DO - 10.5220/0001758800050012
PB - SciTePress