Search results for "object specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Shamus P. Smith, James S. Willans	Virtual object specification for usable virtual environments.	OZCHI	2006	DBLP DOI BibTeX RDF	virtual world objects, design, virtual environments, specification, requirements, scenarios
2	Hans-Dieter Ehrich	Harmonizing intra- and inter-object specification and verification: a multi-object logics approach.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
2	Dorel Lucanu, Gabriel Ciobanu	Model Checking for Object Specifications in Hidden Algebra.	VMCAI	2004	DBLP DOI BibTeX RDF	hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV
2	Gunter Saake, Can Türker, Stefan Conrad	Evolving Objects: Conceptual Description of Adaptive Information Systems.	FMLDO	2000	DBLP BibTeX RDF	Evolving objects, behavior evolution, object specification, adaptive information systems
2	Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro	Denotational Semantics of Object Specification.	Acta Inf.	1998	DBLP DOI BibTeX RDF
2	Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis	A Development Environment for an Object Specification Language.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	object specification, verification, validation, certification, semantic data model, Information system design
1	Anirban Sarkar, Sankhayan Choudhury, Nabendu Chaki, Swapan Bhattacharya	Object Specification Language for Graph Based Conceptual level Multidimensional Data Model.	SEKE	2009	DBLP BibTeX RDF
1	Clifton Kussmaul	Novel language syntax to enhance readability: white space, parameter sets, & control structures.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	infix objects, multiple parameter sets, white space, control structures
1	Kevin Bierhoff, Jonathan Aldrich	Lightweight object specification with typestates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	union and intersection types, refinement, substitutability, typestate, behavioral subtyping
1	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific-languages (DSL), model driven development, enterprise application integration (EAI)
1	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific- languages (DSL), model driven development, enterprise application integration (EAI)
1	Yin Li, Jian Sun 0001, Chi-Keung Tang, Heung-Yeung Shum	Lazy snapping.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	Image Cutout, User Interface, Graph Cut, Interactive Image Segmentation
1	Christian Bérard, Jérôme Biseau	Individual processes management through Internet.	SMC	2004	DBLP DOI BibTeX RDF
1	Juliana Küster Filipe	Modelling Concurrent Interactions.	AMAST	2004	DBLP DOI BibTeX RDF
1	Ricardo Azambuja Silveira, Eduardo Rodrigues Gomes, Rosa Maria Vicari	Intelligent Learning Objects.	Information and Communication Technologies and Real-Life Learning	2004	DBLP DOI BibTeX RDF	Real Life Learning Environments, Artificial Intelligence, Learning Objects
1	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
1	Ricardo Azambuja Silveira, Eduardo Rodrigues Gomes, Vinicius Heidrich Pinto, George D. Magoulas	Intelligent Learning Objects: An Agent Based Approach of Learning Objects.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
1	Muthu Ramachandran	Testing reusable software components from object specification.	ACM SIGSOFT Software Engineering Notes	2003	DBLP DOI BibTeX RDF	testing, components, reuse, software components, object models, consumer electronics
1	Sabine Boufenara, Zizette Boufriche-Boufaïda, Mahmoud Boufaïda, Denis Poiterenaud	Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules.	ADVIS	2000	DBLP DOI BibTeX RDF
1	David Harel, Hillel Kugler	Synthesizing State-Based Object Systems from LSC Specifications.	CIAA	2000	DBLP DOI BibTeX RDF
1	Won-Sook Lee, Marc Escher, Gaël Sannier, Nadia Magnenat-Thalmann	MPEG-4 Compatible Faces from Orthogonal Photos. (PDF / PS)	CA	1999	DBLP DOI BibTeX RDF
1	Hewijin Christine Jiau, Kuo-Feng Ssu, Jim-Min Lin, Yu-Ping Ko	Reusing CAD Tools in Object Oriented Based Framework. (PDF / PS)	COMPSAC	1999	DBLP DOI BibTeX RDF
1	Daniel Wu, Divyakant Agrawal, Amr El Abbadi	StratOSphere: Unification of Code, Data, Location, Scope, and Mobility. (PDF / PS)	DOA	1999	DBLP DOI BibTeX RDF
1	Ferdinando Lucidi, Hessel P. Idzenga, Spyrogiannis Batistatos	Development of TINA-Like Systems: The DOLEMEN Methodology.	IS&N	1998	DBLP DOI BibTeX RDF
1	Annika Wagner	A Formal Object Specification Technique Integrating Object and Functional Model.	International Journal of Software Engineering and Knowledge Engineering	1997	DBLP DOI BibTeX RDF
1	Martin Gogolla, Mark Richters	On combining semiformal and formal object specification techniques.	WADT	1997	DBLP DOI BibTeX RDF
1	Stefan Conrad, Gunter Saake	Extending Temporal Logic for Capturing Evolving Behaviour.	ISMIS	1997	DBLP DOI BibTeX RDF
1	Lonnie R. Welch, Dieter K. Hammer	Guest editor's introduction: ACM OOPS Messenger special issue on object-oriented real-time systems.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
1	Can Türker, Stefan Conrad, Gunter Saake	Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems.	ISMIS	1996	DBLP DOI BibTeX RDF
1	Amílcar Sernadas, Cristina Sernadas, José Félix Costa	Object Specification Logic.	J. Log. Comput.	1995	DBLP DOI BibTeX RDF
1	Gunter Saake, Stefan Conrad, Can Türker	From Object Specification towards Agent Design.	OOER	1995	DBLP DOI BibTeX RDF
1	Jyhjong Lin, David Chenho Kung, Pei Hsia	Towards a real-time object-oriented modeling approach.	CASCON	1995	DBLP DOI BibTeX RDF
1	Martin Gogolla, Rudolf Herzig	An Algebraic Semantics for the Object Specification Language TROLL light.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
1	Rudolf Herzig, Martin Gogolla	An Animator for the Object Specification Language TROLL light.	COODBSE	1994	DBLP BibTeX RDF
1	Udo W. Lipeck, Stefan Brass	Object-Oriented System Specification Using Defaults.	IS/KI	1994	DBLP DOI BibTeX RDF
1	Gunter Saake, Ralf Jungclaus, Thorsten Hartmann	Application Modelling in Heterogeneous Environments Using an Object Specification Language.	Int. J. Cooperative Inf. Syst.	1993	DBLP BibTeX RDF
1	Klemens Böhm, Amílcar Sernadas	Real-Time Object Specification Logic.	DAISD	1993	DBLP BibTeX RDF
1	Gunter Saake, Ralf Jungclaus, Thorsten Hartmann	Application Modelling in Heterogeneous Environments Using an Object Specification Language.	CoopIS	1993	DBLP BibTeX RDF
1	Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas	Constructing Systems as Object Communities.	TAPSOFT	1993	DBLP DOI BibTeX RDF
1	José Luiz Fiadeiro, T. S. E. Maibaum	Describing, Structuring and Implementing Objects.	REX Workshop	1990	DBLP DOI BibTeX RDF	object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic
1	Stephen Demko, Laurie Hodges, Bruce F. Naylor	Construction of fractal objects with iterated function systems.	SIGGRAPH	1985	DBLP DOI BibTeX RDF
1	Janis A. Bubenko Jr.	IAM: An Inferential Abstract Modeling Approach to Design of Conceptual Schema.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF