Search results for "UML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge	A formal and sound transformation from Focal to UML : an application to airport security regulations.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Airport security regulations, UML, Formal methods, Focal, Graphical documentation
24	Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières	Incremental development of UML specifications using operation refinements.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Incremental specification, UML, Refinement, B
24	Kalliopi Tourtoglou, Maria Virvou	User Stereotypes Concerning Cognitive, Personality and Performance Issues in a Collaborative Learning Environment for UML.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	software engineering, Collaboration, UML, learning, user modelling, collaborative learning, CSCL, student modelling, stereotypes
24	Sébastien Demathieu, Frédéric Thomas, Charles André, Sébastien Gérard, François Terrier	First Experiments Using the UML Profile for MARTE.	ISORC	2008	DBLP DOI BibTeX RDF	UML, Real-time, Embedded, Model-Driven Engineering, MARTE
24	Lilia Muñoz, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo 0001	Modelling ETL Processes of Data Warehouses with UML Activity Diagrams.	OTM Workshops	2008	DBLP DOI BibTeX RDF	modelling, UML, processes, activity diagrams, ETL
24	Mathias Frisch, Raimund Dachselt, Tobias Brückmann	Towards seamless semantic zooming techniques for UML diagrams.	SOFTVIS	2008	DBLP DOI BibTeX RDF	models, visualization, UML, interaction techniques, diagrams, zoomable user interface, semantic zooming
24	Matteo Golfarelli, Stefano Rizzi	UML-Based Modeling for What-If Analysis.	DaWaK	2008	DBLP DOI BibTeX RDF	simulation, UML, data warehouse, What-if analysis
24	Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas	Representation of Business Rules in UML&OCL Models for Developing Information Systems.	PoEM	2008	DBLP DOI BibTeX RDF	UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition
24	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge	Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.	TASE	2008	DBLP DOI BibTeX RDF	Airport Security Regulations, UML, Certification, Formal Proofs, Focal
24	Soodeh Hosseini, Mohammad Abdollahi Azgomi	UML Model Refactoring with Emphasis on Behavior Preservation.	TASE	2008	DBLP DOI BibTeX RDF	Behavior Preservation, Control-Flow Diagram, ROOL, UML, Model Refactoring
24	Marcela Genero, M. Esperanza Manso, Corrado Aaron Visaggio, Gerardo Canfora, Mario Piattini	Building measure-based prediction models for UML class diagram maintainability.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	UML, Measures, Prediction model, Maintainability, Controlled experiments, Size, Class diagrams, Empirical validation, Understandability, Structural complexity, Modifiability
24	Ana L. Milanova	Composition inference for UML class diagrams.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Algorithms, UML, Reverse engineering, Points-to analysis, Ownership
24	Dietmar Schreiner, Karl M. Göschka	Modeling component based embedded systems applications with explicit connectors in UML 2.0.	SAC	2007	DBLP DOI BibTeX RDF	UML, embedded systems, component, MDA, connector
24	Valeria Cardellini, Emiliano Casalicchio, Emanuele Galli	Agent-based modeling of interdependencies in critical infrastructures through UML.	SpringSim (2)	2007	DBLP BibTeX RDF	UML, discrete event simulation, critical infrastructures, agent-based modeling and simulation
24	Anelia Popandreeva	Object-oriented analysis and design using UML of a test "Rotation with sample".	CompSysTech	2007	DBLP DOI BibTeX RDF	UML, test, neuropsychology, OOD, OOA
24	Georgi Tuparov, Juliana Peneva, Petia Asenova, Stanislav Ivanov	Upskilling to object-oriented software development with UML.	CompSysTech	2007	DBLP DOI BibTeX RDF	UML, blended learning
24	Hyunsang Youn, Suhyeon Jang, Eunseok Lee 0001	Deriving Queuing Network Model for UML for Software Performance Prediction.	SERA	2007	DBLP DOI BibTeX RDF	Performance, UML, Software Architecture, Queuing Network Model
24	Gregor Engels, Christian Soltenborn, Heike Wehrheim	Analysis of UML Activities Using Dynamic Meta Modeling.	FMOODS	2007	DBLP DOI BibTeX RDF	DMM, UML, verification, semantics, behavior
24	Friedrich Steimann, Heribert Vollmer	Exploiting practical limitations of UML diagrams for model validation and execution.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Validation of models, Modelling, UML, Modelling language
24	Kevin Lano, José Luiz Fiadeiro	Extending UML with coordination contracts.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Coordination contracts, UML, MDA
24	Xing Wu 0003, Jin Chen, Ruqiang Li, Weixiang Sun, Guicai Zhang, Fucai Li	Modeling a web-based remote monitoring and fault diagnosis system with UML and component technology.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	UML, Fault diagnosis, Web application, Component framework, Remote monitoring
24	Robert de Simone, Charles André	Towards a "Synchronous Reactive" UML profile?	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Synchronous, Reactive
24	Lionel C. Briand, Yvan Labiche, Johanne Leduc	Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	UML, reverse engineering, distribution, OCL, AspectJ, sequence diagram, RMI
24	Thomas Baar, Slavisa Markovic	A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	UML, Refactoring, OCL, Semantic Preservation
24	Jianhong Ma, Runhua Tan	Modeling the Variability with UML for TRIZ Based CAI System.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Computer Aided Invention (CAI), modeling variability, UML, software product line, TRIZ
24	Tuomas Lindroth, Raicea Lavinia, Tiberiu Seceleanu, Nastooh Avessta, Jukka Teuhola	Building a UML Profile for On-Chip Distributed Platforms.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF	Segmented bus, platform profile, UML
24	Fredrik Seehusen, Ketil Stølen	Information flow property preserving transformation of UML interaction diagrams.	SACMAT	2006	DBLP DOI BibTeX RDF	UML, refinement, model driven architecture, transformation, information flow security
24	Akram Idani, Yves Ledru, Didier Bert	A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.	SEW	2006	DBLP DOI BibTeX RDF	UML, Formal concept analysis, B, Concept formation
24	Andrei Kirshin, Dolev Dotan, Alan Hartman	A UML Simulator Based on a Generic Model Execution Engine.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Model Debugger, UML, State Machines, Activities, Model Execution, Model Simulator
24	Christian Soltenborn, Gregor Engels	Analysis of UML Activities with Dynamic Meta Modeling Techniques.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	DMM, UML, verification, semantics, behavior
24	Bran Selic	Tutorial: an overview of UML 2.	ICSE	2006	DBLP DOI BibTeX RDF	model-driven archtiecture, UML, unified modeling language, model-driven development
24	Vahid Garousi, Lionel C. Briand, Yvan Labiche	Traffic-aware stress testing of distributed systems based on UML models.	ICSE	2006	DBLP DOI BibTeX RDF	distributed systems, UML, model-based testing, network traffic, stress testing
24	Florian Klein 0001, Holger Giese	Analysis and design of physical and social contexts in multi-agent systems using UML.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	UML
24	Quan Long, Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001	Consistent Code Generation from UML Models.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	UTP, UML, Semantics, Object Orientation, Consistency, Code generation
24	Carl Alphonce, Blake Martin	Green: a customizable UML class diagram plug-in for eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2
24	Carl Alphonce, Blake Martin	Green: a customizable UML class diagram plug-in for eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2
24	Haeng-Kon Kim, Youn-Ky Chung	Automatic Translation Form Requirements Model into Use Cases Modeling on UML.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	UML, use cases, CBD, safety analysis, safety requirements
24	Andrea D'Ambrogio	A model transformation framework for the automated building of performance models from UML models.	WOSP	2005	DBLP DOI BibTeX RDF	automated model building, UML, MDA, model transformation, software performance, LQN
24	Ana L. Milanova	Precise identification of composition relationships for UML class diagrams.	ASE	2005	DBLP DOI BibTeX RDF	UML, reverse engineering, points-to analysis, ownership
24	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001	Consistency Checking of UML Requirements.	ICECCS	2005	DBLP DOI BibTeX RDF	Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking
24	Dae-Kyoo Kim	Evaluating Conformance of UML Models to Design Patterns.	ICECCS	2005	DBLP DOI BibTeX RDF	pattern specification, pattern tools, UML, Design pattern, object-oriented model
24	Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán	Formalization of UML state machines using temporal logic.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	UML, specification, formal semantics, interval temporal logic, Statechart diagrams
24	M. Elizabeth C. Hull, S. Ewart, J. R. Paul Hanna	Modeling Complex Real-Time and Embedded Systems-The UML and DORIS Combination.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	DORIS, modeling, UML, non-functional requirements, real-time and embedded systems
24	Tong Yi, Fangjun Wu, Chengzhi Gan	A comparison of metrics for UML class diagrams.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	theoretical validation, UML, measure, metric, class diagram, empirical validation, structure complexity
24	Martin Keschenau	Reverse engineering of UML specifications from java programs.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	java, UML, reverse engineering, class diagrams, bytecode
24	Brian Berenbach	Comparison of UML and text based requirements engineering.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	UML, requirements, analysis, process
24	Sergio Luján-Mora, Juan Trujillo 0001	Physical modeling of data warehouses using UML.	DOLAP	2004	DBLP DOI BibTeX RDF	UML, component, data warehouse, configuration, deployment, physical design
24	Ernesto Exposito, Patrick Sénac, Michel Diaz	UML-SDL modelling of the FPTP QoS oriented transport protocol.	MMM	2004	DBLP DOI BibTeX RDF	transport mechanisms, QoS, UML, congestion control, transport protocol, SDL
24	Marco Torchiano, Giorgio Bruno	Enterprise modeling by means of UML instance models.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	instance models, UML, enterprise models
24	Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper 0001, H. B. M. Jonkers	Consistent specification of interface suites in UML.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Consistency of several views, Specification model, UML, Component specification
24	Dov Dori	Why significant UML change is unlikely.	Commun. ACM	2002	DBLP DOI BibTeX RDF	UML
24	Sadahiro Isoda	Do Actors Call Use Cases? - Solving the Problems of OOSE/UML Use-Case Relationships.	COMPSAC	2002	DBLP DOI BibTeX RDF	OOSE, real-world modeling, UML, generalization, use case, Object-oriented methodology
24	Rik Eshuis, Roel J. Wieringa	Verification support for workflow design with UML activity graphs.	ICSE	2002	DBLP DOI BibTeX RDF	UML
24	John C. Grundy, Rakesh Patel	Developing Software Components with the UML, Enterprise Java Beans and Aspects.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF	XML, UML, component-based systems, Aspect-oriented design, Enterprise Java Beans
24	Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001	Formal and Use-Case Driven Requirement Analysis in UML.	COMPSAC	2001	DBLP DOI BibTeX RDF	Incremental Model Building, UML, Object-Orientation, Conceptual Model, Use Cases
24	Chris Scogings, Chris Phillips 0002	A Method for the Early Stages of Interactive System Design using UML and Lean Cuisine+.	AUIC	2001	DBLP DOI BibTeX RDF	UML, task modelling, interactive systems design, dialogue modelling
24	Christian Huemer	Defining Electronic Data Interchange Transactions with UML.	HICSS	2001	DBLP DOI BibTeX RDF	UML, Electronic Commerce, Business Modeling, Electronic Data Interchange (EDI), Electronic Business, Business-to-Business
24	Janis Putman	Model for Fault Tolerance and Policy from RM-ODP Expressed in UML/OCL.	ISORC	2000	DBLP DOI BibTeX RDF	fault tolerance, UML, policy, OCL, behavior, RM-ODP
24	Martin L. Griss	Agent-Mediated E-Commerce Agents, Components, Services, Workflow, UML, Java, XML and Games.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Simulation, Java, XML, UML, Agents, E-commerce, Workflow, Games, Components, Features, Aspects, Product Lines, CBSE
24	Marc Born, Eckhardt Holz, Olaf Kath	A Method for the Design and Development of Distributed Applications Using UML.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	distributed applications development, object-oriented middleware platforms, Reference Model for Open Distributed Processing, practical design tasks, CORBA 2.3, Unified Modeling Language, UML, specification languages, distributed programming, open systems, client-server systems, automatic code generation, distributed object management, notation, RM-ODP, distributed infrastructure
24	María José Presso, Gilbert Raymond, Mariano Belaunde	PILOTE: A Tool Suite to Support UML-Based Engineering Processes.	EDOC	2000	DBLP DOI BibTeX RDF	tool suite, UML, object-oriented programming, object oriented programming, software tools, reference model, software development cycle, PILOTE project
24	Takuya Uemura, Shinji Kusumoto, Katsuro Inoue	Function Point Measurement Tool for UML Design Specification.	IEEE METRICS	1999	DBLP DOI BibTeX RDF	Requirements/Design Specification, UML, Tool, Function Point
24	Anna Armentrout	A tool for designing Java programs with UML.	ITiCSE	1999	DBLP DOI BibTeX RDF	multimedia/interactive learning, Java, UML, object-oriented design, instructional technology
24	Rémi Bastide	An Integration of Task and Use-Case Meta-models.	HCI (1)	2009	DBLP DOI BibTeX RDF
24	José Oscar Olmedo-Aguirre, Mónica Rivera de la Rosa, Guillermo Morales-Luna	ECA-Rule Visual Programming for Ubiquitous and Nomadic Computing.	MICAI	2008	DBLP DOI BibTeX RDF
24	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	Exploiting the ASM Method for Validation & Verification of Embedded Systems.	ABZ	2008	DBLP DOI BibTeX RDF
24	Simona Bernardi 0001, José Merseguer, Dorina C. Petriu	Adding Dependability Analysis Capabilities to the MARTE Profile.	MoDELS	2008	DBLP DOI BibTeX RDF
24	Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard	AnExecution Framework for MARTE-Based Models.	ICECCS	2008	DBLP DOI BibTeX RDF
24	Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra	Process State Machines for Behavioral Modeling of Embedded Systems.	SIES	2007	DBLP DOI BibTeX RDF
24	Kirsten Berkenkötter	OCL-Based Validation of a Railway Domain Profile.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF
24	Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum	A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.	MoDELS	2006	DBLP DOI BibTeX RDF
24	Jaime A. Pavlich-Mariscal, Thuong Doan, Laurent Michel, Steven A. Demurjian, T. C. Ting	Role Slices: A Notation for RBAC Permission Assignment and Enforcement.	DBSec	2005	DBLP DOI BibTeX RDF
24	Eun-Jung Ko, Sang-Young Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang	Workflow Modeling Based on Extended Activity Diagram Using ASM Semantics.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
24	Sunghwan Roh, Kyungrae Kim, Taewoong Jeon	Architecture Modeling Language based on UML2.0.	APSEC	2004	DBLP DOI BibTeX RDF
24	Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng	A Requirements Patterns-Driven Approach to Specify Systems and Check Properties.	SPIN	2003	DBLP DOI BibTeX RDF
24	Stephan Flake	Real-Time Constraints with the OCL (position paper).	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Object Constraint Language, Real-Time Constraints
24	Klaus Marius Hansen, Anne V. Ratzer	Tool support for collaborative teaching and learning of object-oriented modeling.	ITiCSE	2002	DBLP DOI BibTeX RDF	electronic whiteboards, gestures, collaborative learning, object-oriented modeling
24	Alexander Egyed	Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach.	ASE	2001	DBLP DOI BibTeX RDF
24	Jos Warmer, Anneke Kleppe	Introduction to OCL.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
24	Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner	Towards a Formalization of the Unified Modeling Language.	ECOOP	1997	DBLP DOI BibTeX RDF
24	Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen	Connecting UML and VDM++ with Open Tool Support.	FM	2009	DBLP DOI BibTeX RDF
24	Padmanabhan Krishnan, Percy Antonio Pari Salas	Model-Based Testing and the UML Testing Profile.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
24	Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds	XMI2USE: A Tool for Transforming XMI to USE Specifications.	ER Workshops	2009	DBLP DOI BibTeX RDF	MDA, Model Transformation, OCL, USE, Modeling Tool, XMI
24	Farid Meziane, Nikos Athanasakis, Sophia Ananiadou	Generating Natural Language specifications from UML class diagrams.	Requir. Eng.	2008	DBLP DOI BibTeX RDF
24	Stephen Wood, David H. Akehurst, O. Uzenkov, W. Gareth J. Howells, Klaus D. McDonald-Maier	A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
24	Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei, Saeed Sarencheh, Vidyasagar M. Potdar	Modeling Input Validation in UML.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Software engineering, Unified Modeling Language, Object Constraint Language, Software security, Input validation
24	Timo Vepsäläinen, David Hästbacka, Seppo Kuikka	Tool Support for the UML Automation Profile - For Domain-Specific Software Development in Manufacturing.	ICSEA	2008	DBLP DOI BibTeX RDF
24	Andrea De Lucia, Carmine Gravino, Rocco Oliveto, Genoveffa Tortora	Data Model Comprehension: An Empirical Comparison of ER and UML Class Diagrams.	ICPC	2008	DBLP DOI BibTeX RDF
24	Il-Yeol Song, Ritu Khare, Yuan An, Margaret Hilsbos	A Multi-level Methodology for Developing UML Sequence Diagrams.	ER	2008	DBLP DOI BibTeX RDF
24	Chang-Ai Sun	A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Software Testing, Model-based Testing, Test Case Generation
24	Oana Nicolae, Mirel Cosulschi, Adrian Giurca, Gerd Wagner 0001	Towards a BPMN Semantics Using UML Models.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
24	Darshan S. Dillon, Tharam S. Dillon, Elizabeth Chang 0001	Using UML 2.1 to Model Multi-agent Systems.	SEUS	2008	DBLP DOI BibTeX RDF
24	Guan Hongjie, Meng Fan-rong, Xia Zhanguo	Research on UML-based Modeling of Workflow Manage System.	SNPD	2008	DBLP DOI BibTeX RDF
24	Leszek Kotulski, Dariusz Dymek	On the Modeling Timing Behavior of the System with UML(VR).	ICCS (1)	2008	DBLP DOI BibTeX RDF
24	Xiong Li, Wei Chen, Zhenkun Zhai, Zekai Huang, Jing Guo	Modeling for Robotic Soccer Simulation Team Based on UML.	CSSE (1)	2008	DBLP DOI BibTeX RDF
24	Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Mara Abrahão, Emilio Insfrán, José A. Carsí	Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment.	MoDELS	2008	DBLP DOI BibTeX RDF
24	Ståle Walderhaug, Erlend Stav, Marius Mikalsen	Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
24	Xiaoli Bai, Xueshan Luo, Xiaohui Bai, Xianqing Yi, Honghui Chen, Deke Guo	Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets.	ICNSC	2008	DBLP DOI BibTeX RDF
24	Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso	UML-based modeling and model-driven development of distributed control systems.	ETFA	2008	DBLP DOI BibTeX RDF
24	Youcef Hammal	A modular state exploration and compatibility checking of UML dynamic diagrams.	AICCSA	2008	DBLP DOI BibTeX RDF