Abstract | ||
---|---|---|
This paper provides a brief introduction to the work that aims to apply the achievements within the area of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process. |
Year | Venue | Field |
---|---|---|
2014 | arXiv: Software Engineering | Computer science,Formal specification,Formal methods,System development,Management science,Engineering psychology |
DocType | Volume | Citations |
Journal | abs/1404.7247 | 16 |
PageRank | References | Authors |
1.01 | 5 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maria Spichkova | 1 | 160 | 15.29 |