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: Alagar:Vangalur_S=
Contributed to:
2001
2001200019991997
1995Wrote 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.