|
[1]
|
e-Nelayan the Fishery Marketplace App
Trends in Undergraduate Research,
2021
DOI:10.33736/tur.2543.2021
|
|
|
|
|
[2]
|
Meshing agile and plan-driven development in safety-critical software: a case study
Empirical Software Engineering,
2020
DOI:10.1007/s10664-020-09804-z
|
|
|
|
|
[3]
|
Empirical Evaluation of Formal Method for Requirements Specification in Agile Approaches
Proceedings of the XIV Brazilian Symposium on Information Systems - SBSI'18,
2018
DOI:10.1145/3229345.3229401
|
|
|
|
|
[4]
|
A conceptual model of agile software development in a safety-critical context: A systematic literature review
Information and Software Technology,
2018
DOI:10.1016/j.infsof.2018.06.004
|
|
|
|
|
[5]
|
Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes
Journal of Aerospace Information Systems,
2018
DOI:10.2514/1.I010601
|
|
|
|
|
[6]
|
Towards applying a safety analysis and verification method based on STPA to agile software development
Proceedings of the International Workshop on Continuous Software Evolution and Delivery - CSED '16,
2016
DOI:10.1145/2896941.2896948
|
|
|
|
|
[7]
|
Agile techniques and frameworks based on the requirements for e-commerce applications
2016 Second International Conference on Web Research (ICWR),
2016
DOI:10.1109/ICWR.2016.7498457
|
|
|
|
|
[8]
|
Towards applying a safety analysis and verification method based on STPA to agile software development
Proceedings of the International Workshop on Continuous Software Evolution and Delivery,
2016
DOI:10.1145/2896941.2896948
|
|
|
|
|
[9]
|
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z
Journal of Software Engineering and Applications,
2015
DOI:10.4236/jsea.2015.88037
|
|
|
|
|
[10]
|
Formal Methods for Commercial Applications Issues vs. Solutions
Journal of Software Engineering and Applications,
2014
DOI:10.4236/jsea.2014.78062
|
|
|
|