Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marie-Agnes Peraldi-Frati
A DSL for Specifying Timing Requirements
Related publications
Specifying and Reasoning Over Socio-Technical Security Requirements With STS-Tool
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Generic DSL for Automated Marking Systems
Communications in Computer and Information Science
Mathematics
Computer Science
Model-Based Specification of Timing Requirements
SPar: A DSL for High-Level and Productive Stream Parallelism
Parallel Processing Letters
Hardware
Theoretical Computer Science
Architecture
Software
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Change of Network Address for SU-DSL
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
A DSL for Configuration Management of Integrated Network Management System
A DSL-based Approach to Product Derivation for Software Product Line
Acta Informatica Pragensia
Computer Science Applications
Information Systems
Management Information Systems
Library
Information Sciences
