Usando invariantes na análise dos requisitos (2012)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Subjects: REDES DE PETRI; ANÁLISE DE REQUISITOS; INVARIANTES
- Language: Português
- Imprenta:
- Publisher: UFCG
- Publisher place: Campina Grande
- Date published: 2012
- ISBN: 9788580010695
- Source:
- Título do periódico: Anais
- Conference titles: Congresso Brasileiro de Automática - CBA
-
ABNT
SALMON, Arianna Zoila Oliveira e SILVA, José Reinaldo. Usando invariantes na análise dos requisitos. 2012, Anais.. Campina Grande: UFCG, 2012. Disponível em: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf. Acesso em: 30 set. 2024. -
APA
Salmon, A. Z. O., & Silva, J. R. (2012). Usando invariantes na análise dos requisitos. In Anais. Campina Grande: UFCG. Recuperado de https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf -
NLM
Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2024 set. 30 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf -
Vancouver
Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2024 set. 30 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf - Análise e modelagem de sistemas a eventos discretos. Cálculo da distância sincrona e estudo do problema de atingibilidade em redes de petri c / e, p / t e extendidas
- Programação em prolog aplicada a casos de planning em robotica
- Sistema supervisório descentralizado baseado em íntegrons. (também em CD-Rom)
- Sistemas de informação: estudo de caso no fluxo de materiais para a fabricação de blanks
- Especificando requisitos de sistemas com redes de Petri
- Management and collecting data in the informed manufacturing
- Towards a unified view of Petri nets and object oriented modeling
- Integrated tools environment for modeling and analysis of automated planning systems
- Equações de estado para mark flow graphs
- Process oriented design service: case study for automated information systems
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
Silva_JR-2012-usando inva... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas