Title
Composing pattern-based components and verifying correctness
Abstract
Expert judgment-based effort estimation of software development work is partly based on non-mechanical and unconscious processes. For this reason, a certain degree of intra-person inconsistency is expected, i.e., the same information presented to the ...
Year
DOI
Venue
2007
10.1016/j.jss.2007.03.005
Journal of Systems and Software
Keywords
Field
DocType
composition pattern,temporal logic,formal specification and verification,object-z,design pattern,design component,software development work,intra-person inconsistency,integration,unconscious process,modeling,certain degree,verifying correctness,expert judgment-based effort estimation,pattern-based component,software development,development process,software systems
Programming language,Systems engineering,Reuse,Computer science,Correctness,Software design pattern,Software system,Real-time computing,Software development process,Temporal logic,Object-Z,Design pattern
Journal
Volume
Issue
ISSN
80
11
The Journal of Systems & Software
Citations 
PageRank 
References 
14
0.79
31
Authors
4
Name
Order
Citations
PageRank
Jing Dong144629.17
Paulo S. C. Alencar239345.89
Donald D. Cowan358190.75
Sheng Yang41287.10