BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
4 × USA
Collaborated with:
V.S.Alagar X.Liu D.Muthiayen
Talks about:
object (4) orient (3) formal (3) system (2) specif (2) transact (1) techniqu (1) specifi (1) softwar (1) program (1)

Person: Kasilingam Periyasamy

DBLP DBLP: Periyasamy:Kasilingam

Contributed to:

TOOLS USA 20012001
TOOLS USA 19991999
TOOLS USA 19981998
TOOLS USA 19971997

Wrote 5 papers:

TOOLS-USA-2001-AlagarP #formal method #named #specification #transaction
BTOZ: A Formal Specification Language for Formalizing Business Transactions (VSA, KP), pp. 240–252.
TOOLS-USA-1999-PeriyasamyAM #object-oriented #validation #verification
Verification and Validation Techniques of Object-Oriented Software Systems (KP, VSA, DM), p. 413–?.
TOOLS-USA-1999-PeriyasamyL #metric #object-oriented #source code #testing
A New Metrics Set for Evaluating Testing Efforts for Object-Oriented Programs (KP, XL), pp. 84–93.
TOOLS-USA-1998-Periyasamy #object-oriented #specification
Object-Oriented Formal Specifications (KP), p. 428–?.
TOOLS-USA-1997-PeriyasamyA #realtime #specification
Extending Object-Z for Specifying Real-Time Systems (KP, VSA), pp. 163–175.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.