Search results for "Oz"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Grégoire Dooms, Yves Deville, Pierre Dupont	A Mozart Implementation of CP(BioNet).	MOZ	2004	DBLP DOI BibTeX RDF	Mozart, Graph Domain Variables, Constrained Path Finding, Path Constraint, Constraint Programming, Oz
1	William N. Robinson, Suzanne D. Pawlowski, Vecheslav Volkov	Requirements interaction management.	ACM Comput. Surv.	2003	DBLP DOI BibTeX RDF	KATE, WinWin, deficiency driven design, distributed intentionality, software cost reduction (SCR)., Requirements engineering, system architecture, dependency analysis, viewpoints, interaction analysis, system specification, KAOS, Telos, composite system, Oz, analysis and design
1	Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang	An XML/XSL Approach to Visualize and Animate TCOZ.	APSEC	2001	DBLP DOI BibTeX RDF	specification animation, XML/XSL, UML, Formal methods, XMI, TCOZ, Oz
1	Marek Paralic	Contribution to simplifying the mobile agent programming.	ICSE	2000	DBLP DOI BibTeX RDF	constraint-based programming, mobile agent, agent collaboration, Oz, logic variable
1	Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka	Efficient logic variables for distributed computing.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	Mozart, distributed algorithms, Oz
1	Gail E. Kaiser, Peter D. Skopp, Jack Jingshuang Yang, George T. Heineman	On the yellow brick road to component-based product lines.	ISPW	1996	DBLP DOI BibTeX RDF	software component-based product lines, systems reengineering, OzMarvel, EmeraldCity, process interoperability, software maintenance, software reuse, software reusability, client server system, software library, product development, Oz, process-centered environments

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