Search results for "notations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Damien Wilmann, Leon Sterling	Guiding agent-oriented requirements elicitation: HOMER.	QSIC	2005	DBLP DOI BibTeX RDF
8	Norbert E. Fuchs, Stefan Höfler, Kaarel Kaljurand, Fabio Rinaldi 0001, Gerold Schneider	Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines.	Reasoning Web	2005	DBLP DOI BibTeX RDF
8	Christopher Cheong, Michael Winikoff	Hermes: Designing Goal-Oriented Agent Interactions.	AOSE	2005	DBLP DOI BibTeX RDF
8	Huiqun Yu, Dongmei Liu, Xudong He, Li Yang 0001, Shu Gao	Secure Software Architectures Design by Aspect Orientation.	ICECCS	2005	DBLP DOI BibTeX RDF	security, Software architecture, formal method, aspect orientation, SAM
8	Xiang Xue	A Formal Specification Constructing Tool for SOFL.	ICECCS	2005	DBLP DOI BibTeX RDF
8	Maarten H. van Emden	On the Significance of Digits in Interval Notation.	Reliab. Comput.	2004	DBLP DOI BibTeX RDF
8	Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner 0002, Lothar Wendehals, Albert Zündorf	Tool integration at the meta-model level: the Fujaba approach.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Tool coupling, Meta-Model Extension, Meta-Model Integration, Consistency, Patterns
8	Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell	Object Analysis Patterns for Embedded Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	object analysis, model checking, embedded systems, formal specification, requirements, conceptual modeling, patterns, Object-oriented modeling
8	Fernando Berzal Galiano, Diomidis Spinellis	Bookshelf.	IEEE Softw.	2004	DBLP DOI BibTeX RDF
8	Stefan Hallerstede, Michael J. Butler	Performance analysis of probabilistic action systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Trace refinement, Simulation, Markov decision process
8	Robert Godfrey Gittins, Julian M. Bass, Sian Hope	A Comparison of Software Development Process Experiences.	XP	2004	DBLP DOI BibTeX RDF
8	David B. Lowe, Rachatrin Tongrungrojana	Web Information Exchange Diagrams for UML.	WISE	2004	DBLP DOI BibTeX RDF
8	J. Fernando Bienvenido, Isabel M. Flores-Parra	Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition.	Diagrams	2004	DBLP DOI BibTeX RDF
8	Richard Cox, Pablo Romero, Benedict du Boulay, Rudi Lutz	A Cognitive Processing Perspective on Student Programmers' 'Graphicacy'.	Diagrams	2004	DBLP DOI BibTeX RDF
8	Paul Mutton, Peter Rodgers 0001, Jean Flower	Drawing Graphs in Euler Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
8	Xinming Tan, Yingxu Wang 0001, Cyprian F. Ngolah	Specification of the RTPA Grammar and Its Recognition.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	descriptive mathematics, grammar recognition, LL(k), type checker, software engineering, formal methods, Cognitive informatics, parser, system behaviors, human behaviors, RTPA
8	Pedro F. Campos, Nuno Jardim Nunes	CanonSketch: A User-Centered Tool for Canonical Abstract Prototyping.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF
8	Susanne Graf, Jozef Hooman	Correct Development of Embedded Systems.	EWSA	2004	DBLP DOI BibTeX RDF
8	Boualem Benatallah, Hamid R. Motahari Nezhad	Service Oriented Computing: Opportunities and Challenges.	SWDB	2004	DBLP DOI BibTeX RDF
8	Tiberiu Seceleanu, Tomi Westerlund	Aspects of Formal and Graphical Design of a Bus System.	DATE	2004	DBLP DOI BibTeX RDF
8	Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko	Synthesis and Stochastic Assessment of Schedules for Lacquer Production.	QEST	2004	DBLP DOI BibTeX RDF
8	Holger Giese, Matthias Tichy, Daniela Schilling	Compositional Hazard Analysis of UML Component and Deployment Models.	SAFECOMP	2004	DBLP DOI BibTeX RDF
8	Chris Mattmann, Daniel J. Crichton, J. Steven Hughes, Sean C. Kelly, Paul M. Ramirez	Software Architecture for Large-Scale, Distributed, Data-Intensive Systems.	WICSA	2004	DBLP DOI BibTeX RDF
8	Ingolf H. Krüger, Reena Mathew	Systematic Development and Exploration of Service-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
8	Jintae Kim, Minseong Kim, Hwasil Yang, Sooyong Park	A Method and Tool Support for Variant Requirements Analysis: Goal and Scenario Based Approach.	APSEC	2004	DBLP DOI BibTeX RDF
8	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Specifying a Mobile Computing Infrastructure and Services.	ICDCIT	2004	DBLP DOI BibTeX RDF	Mobicharts, Mobile Computing, Testing, Specification, RSL
8	Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi	Büchi Complementation Made Tighter.	ATVA	2004	DBLP DOI BibTeX RDF
8	Arnon Sturm, Iris Reinhartz-Berger	Applying the Application-Based Domain Modeling Approach to UML Structural Views.	ER	2004	DBLP DOI BibTeX RDF
8	Takaharu Miyoshi, Weiqing Li, Kazufumi Kaneda, Hideo Yamashita, Eihachiro Nakamae	Automatic Extraction of Buildings Utilizing Geometric Features of a Scanned Topographic Map.	ICPR (3)	2004	DBLP DOI BibTeX RDF
8	Daniel D. Suthers	Towards an Analysis of How Shared Representations Are Manipulated to Mediate Online Synchronous Collaboration.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
8	Gwen Salaün, Lucas Bordeaux, Marco Schaerf	Describing and Reasoning on Web Services using Process Algebra.	ICWS	2004	DBLP DOI BibTeX RDF
8	Dale-Marie Wilson	Multimodal programming for dyslexic students.	ICMI	2004	DBLP DOI BibTeX RDF
8	David Ginat	Embedding instructive assertions in program design.	ITiCSE	2004	DBLP DOI BibTeX RDF	design perspectives, pedagogy, assertions
8	Hassan Reza, Emanuel S. Grant	Model Oriented Software Architecture.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
8	Loe M. G. Feijs, Jun Hu 0001	Component-Wise Mapping of Media-Needs to a Distributed Presentation Environment.	COMPSAC	2004	DBLP DOI BibTeX RDF
8	Elzbieta Malinowski, Esteban Zimányi	OLAP Hierarchies: A Conceptual Perspective.	CAiSE	2004	DBLP DOI BibTeX RDF
8	Ricardo Melo Bastos, Marcelo Blois Ribeiro	MASUP: An Agent-Oriented Modeling Process for Information Systems.	SELMAS	2004	DBLP DOI BibTeX RDF
8	Winfried Kurth, Ole Kniemeyer, Gerhard H. Buck-Sorlin	Relational Growth Grammars - A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structure.	UPP	2004	DBLP DOI BibTeX RDF
8	Laura M. Leventhal, Julie Barnes, Joseph Chao	Term project user interface specifications in a usability engineering course: challenges and suggestions.	SIGCSE	2004	DBLP DOI BibTeX RDF	task analysis, user interface specification, group projects
8	Alexander Egyed	Resolving uncertainties during trace analysis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF
8	Sebastián Uchitel, Marsha Chechik	Merging partial behavioural models.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	partial behaviour models, merge, MTS
8	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Conservative approximations for heterogeneous design.	EMSOFT	2004	DBLP DOI BibTeX RDF	verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation
8	Yuan Zhan, John A. Clark	Search Based Automatic Test-Data Generation at an Architectural Level.	GECCO (2)	2004	DBLP DOI BibTeX RDF
8	Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong	Model-Driven SoC Design via Executable UML to SystemC.	RTSS	2004	DBLP DOI BibTeX RDF
8	Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri	Specifying DIMA Multi-agents Models Using Maude.	PRIMA	2004	DBLP DOI BibTeX RDF
8	Armen Aghasaryan, Claude Jard, Julien Thomas	UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks.	ICT	2004	DBLP DOI BibTeX RDF
8	James Odell	Agent UML 2.0: Too Radical or Not Radical Enough?	MATES	2004	DBLP DOI BibTeX RDF
8	Luciano Baresi, Carlo Ghezzi	Validation of Component and Service Federations in Automotive Software Applications.	ASWSD	2004	DBLP DOI BibTeX RDF
8	Jun Kong, Kang Zhang 0001	On a Spatial Graph Grammar Formalism.	VL/HCC	2004	DBLP DOI BibTeX RDF
8	Sang Sup An, Jae Wook Jeon, Seongil Lee, Hyuckyeol Choi, Hoo-Gon Choi	A Pair of Wireless Braille-Based Chording Gloves.	ICCHP	2004	DBLP DOI BibTeX RDF
8	Vittorio Cortellessa, Antonio Pompei	Towards a UML profile for QoS: a contribution in the reliability domain.	WOSP	2004	DBLP DOI BibTeX RDF	software reliability, UML profile, software performance, component-based software systems
8	Shou-Hsuan Stephen Huang, Carlos Humberto Molina-Rodríguez, Jesús Ubaldo Quevedo-Torrero, Mario Francisco Fonseca-Lozada	Exploring Similarity among Web Pages Using the Hyperlink Structure.	ITCC (1)	2004	DBLP DOI BibTeX RDF
8	Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu 0001	Mapping Template Semantics to SMV.	ASE	2004	DBLP DOI BibTeX RDF
8	Daniel L. Moody	Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis.	ADBIS	2004	DBLP DOI BibTeX RDF
8	Katja Fischer, Peter Göhner, Felix Gutbrodt, Uwe Katzke, Birgit Vogel-Heuser	Conceptual Design of an Engineering Model for Product and Plant Automation.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
8	Dominik Stein, Stefan Hanenberg, Rainer Unland	A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models.	MDAFA	2004	DBLP DOI BibTeX RDF
8	José Raúl Romero, Antonio Vallecillo	Formalizing ODP Computational Viewpoint Specifications in Maude.	EDOC	2004	DBLP DOI BibTeX RDF
8	Edgardo Belloni, Claudia A. Marcos	MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications.	SCCC	2004	DBLP DOI BibTeX RDF
8	Grzegorz Bancerek, Josef Urban	Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.	MKM	2004	DBLP DOI BibTeX RDF
8	José Ambrosio Toval Álvarez, Víctor Requena, José Luis Fernández Alemán	Emerging OCL tools.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	OCL tools, Analysis, Object Constraint Language, Comparison
8	Laura K. Dillon, Kurt Stirewalt	Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Amalia, analysis software, engineering trade-offs, inference graphs, transparent design, program transformations, operational semantics, proofs of correctness
8	Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy, André Dolenc, Konsta Karsisto	Survey of code-size reduction methods.	ACM Comput. Surv.	2003	DBLP DOI BibTeX RDF	method assessment, code compression, code compaction, method evaluation
8	Jörn W. Janneck	Actors and their Composition.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Actor language, Actor semantics, Model, Composition, Actor, Model of computation, Heterogeneous model
8	Paul Mason, Amer Saeed, Paul Arkley, Steve Riddle	Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems.	ECBS	2003	DBLP DOI BibTeX RDF
8	Giuseppe Scollo	An Institution Isomorphism for Planar Graph Colouring.	RelMiCS	2003	DBLP DOI BibTeX RDF
8	Jan Romberg, Oscar Slotosch, Gabor Hahn	MoDe: A Method for System-Level Architecture Evaluation.	MEMOCODE	2003	DBLP DOI BibTeX RDF
8	Mathai Joseph	Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?.	ICFEM	2003	DBLP DOI BibTeX RDF
8	Piotr Kosiuczenko	Partial Order Semantics of Sequence Diagrams for Mobility.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
8	Ingolf H. Krüger, Reena Mathew	Component Synthesis from Service Specifications.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
8	Yaojin Yang, Jianli Xu	Encoding Informal Architectural Descriptions with UML: An Experience Report.	UML	2003	DBLP DOI BibTeX RDF
8	Hassan Naser, Hussein T. Mouftah	Modeling and Simulation of Mesh Networks with Path Protection and Restoration.	MASCOTS Tutorials	2003	DBLP DOI BibTeX RDF
8	Juyoung Kang 0001, Jae Kyu Lee	Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach.	RuleML	2003	DBLP DOI BibTeX RDF
8	Jörg Desel, Vesna Milijic, Christian Neumair	Model Validation in Controller Design.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
8	Ali Taleghani, Jonathan S. Ostroff	BON development tool.	eTX	2003	DBLP DOI BibTeX RDF
8	Jianping Wu, Zhongjie Li, Xia Yin	Towards Modeling and Testing of IP Routing Protocols.	TestCom	2003	DBLP DOI BibTeX RDF
8	Kuo Wang, Cristina Fierbinteanu, Mamoru Maekawa	A Conceptual Framework for Spatiotemporal Data Modeling.	DEXA	2003	DBLP DOI BibTeX RDF
8	Carl Cook, Neville Churcher	An Extensible Framework for Collaborative Software Engineering.	APSEC	2003	DBLP DOI BibTeX RDF
8	Alan Wassyng, Mark Lawford	Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.	FME	2003	DBLP DOI BibTeX RDF	experience paper, verification, specification, inspection, Industrial application, safety critical software
8	Matthias Beyer, Winfried Dulz, Fenhua Zhen	Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
8	Eliezer Kantorowitz, Alexander Lyakas, Artur Myasqobsky	A Use Case-Oriented User Interface Framework.	SwSTE	2003	DBLP DOI BibTeX RDF
8	Hugo Estrada 0001, Alicia Martínez 0001, Oscar Pastor 0001	Goal-Based Business Modeling Oriented towards Late Requirements Generation.	ER	2003	DBLP DOI BibTeX RDF
8	Snezhana P. Kostova	A PLDS Model of Pollution in Connected Water Reservoirs.	POSTA	2003	DBLP DOI BibTeX RDF
8	Rafael Andrade 0002, Aldo von Wangenheim, Mariana Kessler Bortoluzzi, Eros Comunello	Using Mobile Wireless Devices for Interactive Visualization and Analysis of DICOM Data.	CBMS	2003	DBLP DOI BibTeX RDF	Wireless, Personal Digital Assistants, DICOM, Medical
8	Paul A. Fishwick, Jinho Lee, Minho Park, Hyunju Shim	Next generation modeling I: RUBE: a customized 2d and 3d modeling framework for simulation.	WSC	2003	DBLP DOI BibTeX RDF
8	Jun Kong, Kang Zhang 0001, Jing Dong 0005, Guang-Lei Song	A Graph Grammar Approach to Software Architecture Verification and Transformation.	COMPSAC	2003	DBLP DOI BibTeX RDF
8	Arnon Sturm, Onn Shehory	A Framework for Evaluating Agent-Oriented Methodologies.	AOIS	2003	DBLP DOI BibTeX RDF
8	Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett	A user-centred approach to functions in Excel.	ICFP	2003	DBLP DOI BibTeX RDF
8	Wei Ni, Tok Wang Ling	GLASS: A Graphical Query Language for Semi-Structured Data.	DASFAA	2003	DBLP DOI BibTeX RDF
8	Susan Stepney, Fiona Polack, Ian Toyn	An Outline Pattern Language for Z: Five Illustrations and Two Tables.	ZB	2003	DBLP DOI BibTeX RDF	patterns, Z, development methods
8	Valérie Issarny, Apostolos V. Zarras	Software Architecture and Dependability.	SFM	2003	DBLP DOI BibTeX RDF
8	Martin Dinkloh, Jens Nimis	A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems.	PROMAS	2003	DBLP DOI BibTeX RDF
8	Susanne Graf, Ileana Ober	A Real-Time Profile for UML and How to Adapt It to SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF
8	Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman	Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations.	ASE	2003	DBLP DOI BibTeX RDF
8	Christian Stary, Simone Stoiber	Model-Based Electronic Performance Support.	DSV-IS	2003	DBLP DOI BibTeX RDF
8	Simon Crowle, Linda Hole	ISML: An Interface Specification Meta-language.	DSV-IS	2003	DBLP DOI BibTeX RDF
8	Reiko Heckel	Open Petri Nets as Semantic Model for Workflow Integration.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
8	Yoshihiro Yasutake, Yusuke Masuyama, Kentaro Oda, Takaichi Yoshida	Clear Separation and Combination of Synchronization Constraint for Concurrent Object Oriented Programming.	AINA	2003	DBLP DOI BibTeX RDF
8	Francisco Durán 0001, Javier Herrador, Antonio Vallecillo	Using UML and Maude for Writing and Reasoning about ODP Policies.	POLICY	2003	DBLP DOI BibTeX RDF
8	Winfried Dulz, Fenhua Zhen	MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3.	QSIC	2003	DBLP DOI BibTeX RDF
8	Rosziati Ibrahim, Marlene Lu	Formal Methods applied to Plywood Production.	QSIC	2003	DBLP DOI BibTeX RDF