Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings von Alagar, V. S, Nivat, Maurice

Volltext

Early quality monitoring in the development of real-time reactive systems von Ormandjieva, O., Alagar, V.S., Zheng, M.

Volltext

A rigorous approach for constructing self-evolving real-time reactive systems von Alagar, V.S, Achuthan, R, Haydar, M, Muthiayen, D, Ormandjieva, O, Zheng, M

Volltext

Range equations and range matrices: a study in statistical database security von Alagar, V. S.

Volltext

(In)completeness in specifications von Alagar, V.S., Kourkopoulos, D

Volltext

Permutation dependency in datalog programs von Alagar, V.S., Goyal, P., Nair, P.S., Sadri, F.

Volltext

Reliability assessment of web applications von Alagar, V.S., Ormandjieva, O.

Volltext

A rigorous method for test templates generation from object-oriented specifications von Periyasamy, K., Alagar, V. S.

Volltext

Semantic CSG trees for finite element analysis von Alagar, V.S., Bui, T.D., Periyasamy, K.

Volltext

Specification-based testing for real-time reactive systems von Alagar, V.S., Ormandjieva, O., Zheng, M.

Volltext

An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents von Wan, Kaiyu, Alagar, Vasu S.

Volltext

A formal framework for design and verification of robotic agents von Periyasamy, K., Alagar, V. S., Bui, T. D.

Volltext

A rigorous approach to modeling autonomous traffic control systems von Alagar, V.S., Muthiayen, D.

Volltext bestellen

A Software Architecture for Multi-agent Systems von Alagar, Vasu S., Zheng, Mao

Volltext

The SuRE programming framework von Jayaraman, Bharat, Moon, Kyonghee

Volltext

An algebraic development technique for information systems von Gogolla, Martin, Herzig, Rudolf

Volltext

Semantic typing for parametric algebraic specifications von Cengarle, María Victoria

Volltext

Intensional Programming for Agent Communication von Alagar, Vasu S., Paquet, Joey, Wan, Kaiyu

Volltext

A rigorous approach for constructing self-evolving real-time reactivesystems von Achuthan, R, Alagar, V S, Haydar, M, Muthiayen, D, Ormandjieva, O, Zheng, M

Volltext

Resource modeling for Cyber Physical Systems von KaiYu Wan, Alagar, V.

Volltext bestellen