Especificacoes formais em vdm: um estudo de caso (1990)
- Authors:
- Autor USP: MASIERO, PAULO CESAR - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher: Icmsc-Usp
- Publisher place: Sao Carlos
- Date published: 1990
-
ABNT
MEIRA, C A A e MASIERO, Paulo Cesar. Especificacoes formais em vdm: um estudo de caso. . Sao Carlos: Icmsc-Usp. . Acesso em: 20 jan. 2026. , 1990 -
APA
Meira, C. A. A., & Masiero, P. C. (1990). Especificacoes formais em vdm: um estudo de caso. Sao Carlos: Icmsc-Usp. -
NLM
Meira CAA, Masiero PC. Especificacoes formais em vdm: um estudo de caso. 1990 ;[citado 2026 jan. 20 ] -
Vancouver
Meira CAA, Masiero PC. Especificacoes formais em vdm: um estudo de caso. 1990 ;[citado 2026 jan. 20 ] - Modelagem pelo metodo fusion de um sistema de agendamento de reunioes
- Especificacao de requisitos: uma introducao
- Implementação de variabilidades de linha de produto de software utilizando aspectos: uma revisão sistemática
- Teste estrutural de integração nível 1 de programas orientados a objetos e a aspectos
- A pointcut-based coverage analysis approach for aspect-oriented programs
- A test-driven approach to code search and its application to the reuse of auxiliary functionality
- Gerenciando variabilidades no modelo simulink de um VANT com as ferramentas Pure::variants e hephaestus
- Extending UML components to develop software product-line architectures: lessons learned
- Em direção à especificação de aplicações hipermídia baseada em statecharts
- Obtenção de modelos de análise-OO a partir de um modelo de requisitos baseado em cenários
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
