BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
5 × USA
Collaborated with:
K.Periyasamy O.Ormandjieva Z.Xi Q.Li M.Zheng D.Muthiayen F.Sadri J.N.Said
Talks about:
system (3) object (3) softwar (2) specif (2) orient (2) formal (2) extend (2) model (2) time (2) real (2)

Person: Vangalur S. Alagar

DBLP DBLP: Alagar:Vangalur_S=

Contributed to:

FME 20012001
TOOLS USA 20012001
TOOLS USA 20002000
TOOLS USA 19991999
TOOLS USA 19971997
CIKM 19951995

Wrote 7 papers:

FME-2001-AlagarX #approach #architecture #e-commerce #modelling
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures (VSA, ZX), pp. 173–196.
TOOLS-USA-2001-AlagarLO #assessment #maintenance #object-oriented
Assessment of Maintainability in Object-Oriented Software (VSA, QL, OO), pp. 194–206.
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-2000-AlagarOZ #realtime #testing
Specification-Based Testing for Real-Time Reactive Systems (VSA, OO, MZ), pp. 25–36.
TOOLS-USA-1999-PeriyasamyAM #object-oriented #validation #verification
Verification and Validation Techniques of Object-Oriented Software Systems (KP, VSA, DM), p. 413–?.
TOOLS-USA-1997-PeriyasamyA #realtime #specification
Extending Object-Z for Specifying Real-Time Systems (KP, VSA), pp. 163–175.
CIKM-1995-AlagarSS #nondeterminism #relational #semantics
Semantics of an Extended Relational Model for Managing Uncertain Information (VSA, FS, JNS), pp. 234–240.

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.