Avispa: a tool for analyzing software process models-Reference-Cited by-同舟云学术

Avispa: a tool for analyzing software process models

Published:2013-02-11 Issue:4 Volume:26 Page:434-450
ISSN:2047-7473
Container-title:Journal of Software: Evolution and Process
language:en
Short-container-title:J. Softw. Evol. and Proc.

Author:

Hurtado Alegría Julio A.¹²,Bastarrica María Cecilia¹,Bergel Alexandre¹

Affiliation:

1. Department of Computer Science (DCC); University of Chile; Chile

2. IDIS Research Group; University of Cauca; Colombia

Publisher

Wiley

Subject

Software

Reference28 articles.

1. Acuña ST Ferré X Software process modelling World Multiconference on Systemics, Cybernetics and Informatics ISAS-SCIs 2001, July 22-25, 2001, Orlando, Florida, USA, Proceedings, Volume I: Information Systems Development 2001 237 242

2. Brühlmann A Gîrba T Greevy O Nierstrasz O Enriching reverse engineering with annotations International Conference on Model Driven Engineering Languages and Systems LNCS 2008 660 674

3. A family of experiments to validate metrics for software process models;Cánfora;Journal of Systems and Software,2005

4. Software process validation: quantitatively measuring the correspondence of a process to a model;Cook;ACM Transactions On Software Engineering Methodology,1999

5. Process modeling;Curtis;Communications of the ACM,1992

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Key Distribution and Authentication Protocols in Wireless Sensor Networks: A Survey;ACM Computing Surveys;2024-01-22

2. Mechanism for Device Authentication and Session Key Generation in Industrial Internet of Things Networks;IEEE Access;2024

3. Methodology of Testing the Security of Cryptographic Protocols Using the CMMTree Framework;Applied Sciences;2023-11-25

4. Validating the Formal Specification of the THUNDERS Process;TecnoLógicas;2023-08-29

5. A lightweight certificate-based authentication scheme for 6LoWPAN-based internet of things;The Journal of Supercomputing;2023-03-15