Concepedia

Tonny Kurniadi Satyananda

TK

2

Publications

35

Citations

2

H-Index

2007

Active since

Tonny Kurniadi Satyananda is an author specializing in software engineering, formal methods, and system software.

Top concepts

DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSystems Engineering

Publications per year

2007–2007

2

Publications

2

Identifying Traceability between Feature Model and Software Architecture in Software Product Line using Formal Concept Analysis

Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang et al. · 2007 · 20 citations

Software Maintenance, Engineering, Software Engineering +21

Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line

Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang · 2007 · 15 citations

Software Maintenance, Engineering, Verification +21

Rows per page

1–2 of 2