specification languages
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
16
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
14
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
16
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
7
B vs OCL: comparing specification languages for Planning Domains
10
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
16
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
16
Volume 35: Automated Verification of Critical Systems 2010
17
5-Lecture V
26
Specification and Modeling of HW/SW CO-Design for Heterogeneous Embedded Systems
6
Vulnerabilities & Attacks in SRS for Object-Oriented Software Development
6
Protocol specification in concurrent systems software development
25
Volume 44: OCL and Textual Modelling 2011
17
Comparative Study of Hardware Languages and Programming Languages
5
More Languages, More MAP?: A Study of Multiple Assisting Languages in Multilingual PRF
9
Languages under the influence: Building a database of Uralic languages
15
Introductory Readings in Languages of the Pacific Islands: University of Hawai'i at Manoa, Fall 2016, Linguistics 150
10
Integrated Design and Implementation Tool for Multi-Agent Controllers IDITmac
116
On Languages Distribution
10
Diagnosing runtime violations of security and dependability properties
336