Year | DOI | Venue |
---|---|---|
2013 | 10.1109/SoMeT.2013.6645647 | SoMeT |
Keywords | Field | DocType |
formal verification,program diagnostics,compatibility verification,large enterprise systems,real software development project,representation method,requirement traceability,software artifacts,software development processes,traceability link complexity,traceability link simplification | Software engineering,Systems engineering,Computer science,Traceability matrix,Software verification and validation,Software construction,Software development,Traceability,Software verification,Requirements traceability,Reverse semantic traceability | Conference |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mitsuharu Kitamura | 1 | 0 | 0.34 |
Masanori Takagi | 2 | 1 | 4.20 |
Keizo Yamada | 3 | 8 | 8.20 |
Jun Sasaki | 4 | 1 | 2.46 |