Kasilingam Periyasamy

20 papers B 2Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2022 — conf
A Mobile Application for Chronic Kidney Disease (CKD) Diagnosis.
ICMHI
Kasilingam Periyasamy, Athira Dinesh Kaivelikkal, Venkateswaran Iyer
2011 — book
Specification of Software Systems, Second Edition.
Vangalur S. Alagar, Kasilingam Periyasamy
2002 B conf
Specification and Verification of Secure Business Transaction Systems.
SOFSEM
Vangalur S. Alagar, Kasilingam Periyasamy
2001 J jnl
A rigorous method for test templates generation from object-oriented specifications.
Softw. Test. Verification Reliab.
Kasilingam Periyasamy, Vangalur S. Alagar
2001 — conf
BTOZ: A Formal Specification Language for Formalizing Business Transactions.
TOOLS (39)
Vangalur S. Alagar, Kasilingam Periyasamy
1999 — conf
A New Metrics Set for Evaluating Testing Efforts for Object-Oriented Programs.
TOOLS (30)
Kasilingam Periyasamy, X. Liu
1999 — conf
Verification and Validation Techniques of Object-Oriented Software Systems.
TOOLS (30)
Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen
1998 — conf
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems.
WIFT
Kasilingam Periyasamy, Vangalur S. Alagar
1998 — conf
Object-Oriented Formal Specifications.
TOOLS (26)
Kasilingam Periyasamy
1998 — book
Specification of Software Systems.
Vangalur S. Alagar, Kasilingam Periyasamy
1997 B conf
A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation.
COMPSAC
Kasilingam Periyasamy, J. Chidambaram
1997 — conf
Extending Object-Z for Specifying Real-Time Systems.
TOOLS (23)
Kasilingam Periyasamy, Vangalur S. Alagar
1996 — conf
Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering.
ACM Conference on Computer Science
Kasilingam Periyasamy, Ciby Mathew
1996 — conf
Paradigm shift in software re-engineering: an experience report.
CASCON
Kasilingam Periyasamy, Ciby Mathew
1996 — conf
Software reuse using formal specification of requirements.
CASCON
Kasilingam Periyasamy, J. Chidambaram
1995 J jnl
Apples and Oranges Are Both Fruit.
IEEE Softw.
Kasilingam Periyasamy
1993 — conf
A Formal Approach to Software Reusability.
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems
Kasilingam Periyasamy
1993 J jnl
A formal framework for design and verification of robotic agents.
J. Intell. Robotic Syst.
Kasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui
1992 J jnl
A methodology for deriving an object-oriented design from functional specifications.
Softw. Eng. J.
Vangalur S. Alagar, Kasilingam Periyasamy
1990 J jnl
Semantic CSG trees for finite element analysis.
Comput. Aided Des.
Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy