Search results for "PROGRES"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Ulrike Ranger, Erhard Weinell	The Graph Rewriting Language and Environment PROGRES.	AGTIVE	2007	DBLP DOI BibTeX RDF
88	Manfred Münch	PROgrammed Graph REwriting System PROGRES.	AGTIVE	1999	DBLP DOI BibTeX RDF
61	Alexandr Ten	The Role of Progress-Based Intrinsic Motivation in Learning: Evidence from Human Behavior and Future Directions. (Le rôle de la motivation intrinsèque basée sur le progrès dans l'apprentissage: preuves du comportement humain et orientations futures progrès).		2022	RDF
57	Anne-Thérèse Körtgen	Modeling Successively Connected Repetitive Subgraphs.	AGTIVE	2007	DBLP DOI BibTeX RDF
52	Andy Schürr, Andreas J. Winter 0001, Albert Zündorf	Visual Programming with Graph Rewriting Systems.	VL	1995	DBLP DOI BibTeX RDF	multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
52	J. Rekers, Andy Schürr	A Graph Grammar Approach to Graphical Parsing.	VL	1995	DBLP DOI BibTeX RDF	context-sensitive grammars, graphical parsing, visual language parsers, visual language parsing, parsing toolkit, graph grammar programming environment, PROGRES, software tools, programming environments, visual programming, visual languages, visual languages, program compilers, graph grammars, graph grammar, context-sensitive
38	Yushin Cho, William A. Pearlman	Hierarchical Dynamic Range Coding of Wavelet Subbands for Fast and Efficient Image Decompression.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
38	Christian Fuss, Verena E. Tuttlies	Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages.	AGTIVE	2007	DBLP DOI BibTeX RDF
38	Boris Böhlen	Specific Graph Models and Their Mappings to a Common Model.	AGTIVE	2003	DBLP DOI BibTeX RDF
38	Andreas Zamperoni	GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering.	ICSE	1996	DBLP BibTeX RDF	project frameworks, software development, meta-modeling, method engineering, model integration, graph rewriting systems
30	Nelson De Figueiredo Barroso	Advances in control and estimation of complex systems: living behavior and multistability. (Progrès dans le contrôle et l'estimation de systèmes complexes : comportement vivant et multistabilité).		2020	RDF
30	Amir Kafshdar Goharshady	Parameterized and Algebro-geometric Advances in Static Program Analysis. (Progrès paramétriques et algébro-géométriques dans l'analyse statique des programmes).		2020	RDF
30	Pengcheng Liu 0004, Saqib Rasool Chaudhry, Xiaojun Wang 0001, Martin Collier	PROGRES: A Programmable Green Router With Controlled Service Rate.	IEEE Access	2019	DBLP DOI BibTeX RDF
30	Fabio Pagani	Advances in memory forensics. (Progrés dans l'investigation forensique de la mémoire volatile).		2019	RDF
30	Alexis Michaud, Severine Guillaume, Guillaume Jacques, Duang-Khoa Mác, Michel Jacobson, Thu-Hà Phám, Matthew Deo	Contribuer au progrès solidaire des recherches et de la documentation : la Collection Pangloss et la Collection AuCo (Contributing to joint progress in documentation and research: some achievements and future perspectives of the Pangloss Collection and the AuCo Collection).	JEP-TALN-RECITAL (1)	2016	DBLP BibTeX RDF
30	Nhat Minh Lê	Kahn Process Networks as Concurrent Data Structures: Lock Freedom, Parallelism, Relaxation in Shared Memory. (Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée).		2016	RDF
30	Christian Fuss, Christof Mosler, Ulrike Ranger, Erhard Schultchen	The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2007	DBLP DOI BibTeX RDF
30	Yushin Cho, William A. Pearlman, Amir Said	Low complexity resolution progressive image coding algorithm: progres (progressive resolution decompression).	ICIP (3)	2005	DBLP DOI BibTeX RDF
30	Janusz Szuba	New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD.	GraBaTs	2004	DBLP DOI BibTeX RDF
30	Alain Priou	Éditorial - Progrès récents en électromagnétisme appliqués aux télécommunications.	Ann. des Télécommunications	1999	DBLP DOI BibTeX RDF
30	Manfred Münch, Andy Schürr, Andreas J. Winter 0001	Integrity Constraints in the Multi-paradigm Language PROGRES.	TAGT	1998	DBLP DOI BibTeX RDF
30	Andy Schürr	Developing Graphical (Software Engineering) Tools with PROGRES.	ICSE	1997	DBLP DOI BibTeX RDF	prototyping, visual programming, graph rewriting systems
30	Andy Schürr	The Formal Background of PROGRES.	IPSEN Book	1996	DBLP BibTeX RDF
30	Andy Schürr	Introduction to the Specification Language PROGRES.	IPSEN Book	1996	DBLP BibTeX RDF
30	Andy Schürr, Andreas J. Winter 0001, Albert Zündorf	Developing Tools with the PROGRES Environment.	IPSEN Book	1996	DBLP BibTeX RDF
30	Andy Schürr, Andreas J. Winter 0001, Albert Zündorf	Graph Grammar Engineering with PROGRES.	ESEC	1995	DBLP DOI BibTeX RDF
30	Albert Zündorf	Graph Pattern Matching in PROGRES.	TAGT	1994	DBLP DOI BibTeX RDF
19	Ulrike Ranger, Katja Gruber, Marc Holze	Defining Abstract Graph Views as Module Interfaces.	AGTIVE	2007	DBLP DOI BibTeX RDF
19	Boris Böhlen, Ulrike Ranger	Concepts for Specifying Complex Graph Transformation Systems.	ICGT	2004	DBLP DOI BibTeX RDF
19	Thomas Haase, Oliver Meyer 0001, Boris Böhlen, Felix H. Gatzemeier	A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars.	AGTIVE	2003	DBLP DOI BibTeX RDF
19	Bodo Kraft, Manfred Nagl	Parameterized Specification of Conceptual Design Tools in Civil Engineering.	AGTIVE	2003	DBLP DOI BibTeX RDF
19	Janusz Szuba, Agnieszka Ozimek, Andy Schürr	On Graphs in Conceptual Engineering Design.	AGTIVE	2003	DBLP DOI BibTeX RDF
19	Andy Schürr	A New Type Checking Approach for OCL Version 2.0?	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
19	Janusz Szuba, Andy Schürr, Adam Borkowski	GraCAD - Graph-Based Tool for Conceptual Design.	ICGT	2002	DBLP DOI BibTeX RDF
19	Dorina C. Petriu, Yimei Sun	Consistent Behaviour Representation in Activity and Sequence Diagrams.	UML	2000	DBLP DOI BibTeX RDF
19	Felix H. Gatzemeier	Patterns, Schemata, and Types - Author Support through Formalized Experience.	ICCS	2000	DBLP DOI BibTeX RDF
19	Hoda Fahmy, Richard C. Holt	Using Graph Rewriting to Specify Software Architectural Transformations.	ASE	2000	DBLP DOI BibTeX RDF
19	Ansgar Schleicher	Formalizing UML-Based Process Models Using Graph Transformations.	AGTIVE	1999	DBLP DOI BibTeX RDF	Unified Modeling Language, Process Modeling, Graph Transformations, Process Enactment
19	Andreas Zamperoni, Gregor Engels	Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!	AGTIVE	1999	DBLP DOI BibTeX RDF
19	Dorina C. Petriu, Xin Wang	From UML Descriptions of High-Level Software Architectures to LQN Performance Models.	AGTIVE	1999	DBLP DOI BibTeX RDF
19	Ansgar Radermacher	Support for Design Patterns Through Graph Transformation Tools.	AGTIVE	1999	DBLP DOI BibTeX RDF
19	Bernhard Westfechtel	Using Programmed Graph Rewriting for the Formal Specification of a Configuration Management System.	WG	1994	DBLP DOI BibTeX RDF