On the specification of real-time systems using logic programming

Authors:
Franca Garzotto;Carlo Ghezzi;Dino Mandrioli;Angelo Morzenti
Affiliations:
Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy
Venue:
Proc. of the 1st European Software Engineering Conference on ESEC '87
Year:
1987

Querying of Executable Software Specifications

IEEE Transactions on Software Engineering
Engineering formal requirements: An analysis and testing method for Z documents

Annals of Software Engineering
Go beyond the SCOPE: a temporal situation calculus-based software tool for time petri nets

IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence

Hi-index	0.01