 | 2002 |
|---|
| 16 |       | Vangalur S. Alagar,
Kasilingam Periyasamy:
Specification and Verification of Secure Business Transaction Systems.
SOFSEM 2002: 240-252 |
| 2001 |
|---|
| 15 | | Vangalur S. Alagar,
Kasilingam Periyasamy:
BTOZ: A Formal Specification Language for Formalizing Business Transactions.
TOOLS (39) 2001: 240-252 |
| 14 |  | Kasilingam Periyasamy,
Vangalur S. Alagar:
A rigorous method for test templates generation from object-oriented specifications.
Softw. Test., Verif. Reliab. 11(1): 3-37 (2001) |
| 1999 |
|---|
| 13 | | Kasilingam Periyasamy,
Vangalur S. Alagar,
D. Muthiayen:
Verification and Validation Techniques of Object-Oriented Software Systems.
TOOLS (30) 1999: 413- |
| 12 | | Kasilingam Periyasamy,
X. Liu:
A New Metrics Set for Evaluating Testing Efforts for Object-Oriented Programs.
TOOLS (30) 1999: 84-93 |
| 1998 |
|---|
| 11 | | Kasilingam Periyasamy:
Object-Oriented Formal Specifications.
TOOLS (26) 1998: 428- |
| 10 | | Kasilingam Periyasamy,
Vangalur S. Alagar:
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems.
WIFT 1998: 28-39 |
| 1997 |
|---|
| 9 | | Kasilingam Periyasamy,
J. Chidambaram:
A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation.
COMPSAC 1997: 426-433 |
| 8 | | Kasilingam Periyasamy,
Vangalur S. Alagar:
Extending Object-Z for Specifying Real-Time Systems.
TOOLS (23) 1997: 163-175 |
| 1996 |
|---|
| 7 | | Kasilingam Periyasamy,
C. Mathew:
Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering.
ACM Conference on Computer Science 1996: 24-33 |
| 6 | | Kasilingam Periyasamy,
J. Chidambaram:
Software reuse using formal specification of requirements.
CASCON 1996: 31 |
| 5 | | Kasilingam Periyasamy,
C. Mathew:
Paradigm shift in software re-engineering: an experience report.
CASCON 1996: 32 |
| 1995 |
|---|
| 4 | | Kasilingam Periyasamy:
Apples and Oranges Are Both Fruit.
IEEE Software 12(2): 118-119 (1995) |
| 1993 |
|---|
| 3 | | Kasilingam Periyasamy:
A Formal Approach to Software Reusability.
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 43-55 |
| 2 | | Kasilingam Periyasamy,
Vangalur S. Alagar,
Tien D. Bui:
A formal framework for design and verification of robotic agents.
Journal of Intelligent and Robotic Systems 8(2): 173-200 (1993) |
| 1990 |
|---|
| 1 | | Vangalur S. Alagar,
Tien D. Bui,
Kasilingam Periyasamy:
Semantic CSG trees for finite element analysis.
Computer-Aided Design 22(4): 194-198 (1990) |
