Search results for "PSDL"

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
112	Luqi, Valdis Berzins, Raymond T. Yeh	A Prototyping Language for Real-Time Software.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies
53	Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin	DCAPS - Architecture for Distributed Computer Aided Prototyping System.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
53	Masakazu Sato, Masaaki Hashimoto	A Constraint Satisfaction System on the Entity and Relationship Model.	SEKE	1992	DBLP DOI BibTeX RDF
42	David A. Dampier, Vineet Chadha	Change-Merging of Psdl Abstract Data Types.	Trans. SDPS	2003	DBLP BibTeX RDF
42	W. Oostendorp	PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware.	Software Engineering	1980	DBLP BibTeX RDF

Displaying result #1 - #6 of 6 (100 per page; Change: )