Search results for "notations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Axel-Tobias Schreiner, James E. Heliotis	A discipline of tree processing.	PPPJ	2009	DBLP DOI BibTeX RDF	tree manipulation, parser generators
8	Qian-Ping Gu, Hisao Tamaki	Constant-Factor Approximations of Branch-Decomposition and Largest Grid Minor of Planar Graphs in O(n1 + ε) Time.	ISAAC	2009	DBLP DOI BibTeX RDF	Graph algorithms, graph minors, branch-decompositions
8	Markus Held, Wolfgang Blochinger, Moritz Werning	E-Biology Workflows with Calvin.	WISE	2009	DBLP DOI BibTeX RDF
8	Katie Wilkie, Simon Holland, Paul Mulholland	Evaluating musical software using conceptual metaphors.	BCS HCI	2009	DBLP BibTeX RDF	Harmony Space, conceptual metaphors, tonal harmony, user interface design, embodied cognition, image schemas
8	François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau	Packaging Mathematical Structures.	TPHOLs	2009	DBLP DOI BibTeX RDF	Formalization of Algebra, Coercive subtyping, SSReflect, Type inference, Coq
8	Lamia Abo Zaid, Frederic Kleinermann, Olga De Troyer	Applying semantic web technology to feature modeling.	SAC	2009	DBLP DOI BibTeX RDF	software variability, ontologies, OWL, feature models, SWRL
8	Sarthak Grover, Nigamanth Sridhar	GenQA: automated addition of architectural quality attribute support for Java software?	SAC	2009	DBLP DOI BibTeX RDF	software architecture, aspects, automated generation
8	Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001	Towards a compositional approach to model transformation for software development.	SAC	2009	DBLP DOI BibTeX RDF
8	Robert Woitsch, Wilfrid Utz	The IT-Socket: Model-Based Business and IT Alignment.	KSEM	2009	DBLP DOI BibTeX RDF	Next Generation Modelling Framework, IT-Socket, Knowledge Management, Semantics, Certification, IT-Governance, Virtual Organisation
8	Alexei Lapouchnian, John Mylopoulos	Modeling Domain Variability in Requirements Engineering with Contexts.	ER	2009	DBLP DOI BibTeX RDF
8	Avi Wasser, Maya Lincoln	ProcessGene-Connect: SOA Integration between Business Process Models and Enactment Transactions of Enterprise Software Systems.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Business process integration and management, Business Process Realization, SOA, BPM, ERP, EA
8	Mónica Pinto, Lidia Fuentes, Luis Fernández, Juan A. Valenzuela	Using AOSD and MDD to Enhance the Architectural Design Phase.	OTM Workshops	2009	DBLP DOI BibTeX RDF
8	Ivica Crnkovic, Ivano Malavolta, Henry Muccini	A Model-Driven Engineering Framework for Component Models Interoperability.	CBSE	2009	DBLP DOI BibTeX RDF
8	Richard N. Taylor	Software architecture: many faces, many places, yet a central discipline.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	architecture-centric development, software architecture
8	David Navarre, Philippe A. Palanque	The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?	EICS	2009	DBLP DOI BibTeX RDF	engineering interactive systems, human-computer interaction, formal description techniques
8	Somnuk Phon-Amnuaisuk	Estimating HMM Parameters Using Particle Swarm Optimisation.	EvoWorkshops	2009	DBLP DOI BibTeX RDF
8	Tom Staijen, Arend Rensink	Graph-based specification and simulation of featherweight Java with around advice.	FOAL	2009	DBLP DOI BibTeX RDF	simulation, verification, graph transformations
8	Gunter Mussbacher, Daniel Amyot, Jon Whittle 0001	Refactoring-Safe Modeling of Aspect-Oriented Scenarios.	MoDELS	2009	DBLP DOI BibTeX RDF	Aspect-oriented Use Case Maps, Aspects-oriented Modeling, User Requirements Notation
8	Tobias Walter, Fernando Silva Parreiras, Steffen Staab	OntoDSL: An Ontology-Based Framework for Domain-Specific Languages.	MoDELS	2009	DBLP DOI BibTeX RDF	Technical Space, Reasoning Services, Ontologies, Domain-Specific Languages
8	Larry L. Constantine	Interaction Design and Model-Driven Development.	MoDELS	2009	DBLP DOI BibTeX RDF
8	Liming Zhu 0001, Tu Tak Tran, Mark Staples, D. Ross Jeffery	Technical Software Development Process in the XML Domain.	ICSP	2009	DBLP DOI BibTeX RDF
8	Gunter Mussbacher, Daniel Amyot	Goal and scenario modeling, analysis, and transformation with jUCMNav.	ICSE Companion	2009	DBLP DOI BibTeX RDF
8	Ustun Yildiz, Adnene Guabtni, Anne H. H. Ngu	Towards scientific workflow patterns.	SC-WORKS	2009	DBLP DOI BibTeX RDF	scientific workflow management systems, patterns, workflow modeling
8	David Fernández-Amorós, Ruben Heradio Gil, José Antonio Cerrada Somolinos	Inferring information from feature diagrams to product line economic models.	SPLC	2009	DBLP BibTeX RDF
8	Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar	A Formal Model of Business Application Integration from Web Services (Position Paper).	SOFSEM	2009	DBLP DOI BibTeX RDF
8	Yunni Xia, Jun Chen, Mingqiang Zhou, Yu Huang 0004	A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF
8	Peter H. Feiler	Modeling the Implementation of State-Based System Architectures.	ICECCS	2009	DBLP DOI BibTeX RDF
8	David F. Brailsford	Automated re-typesetting, indexing and contentenhancement for scanned marriage registers.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	GEDCOM, hyper-linking, re-typesetting, troff, indexing, OCR, genealogy
8	Jan Sudeikat, Wolfgang Renz	Supporting agent-oriented designs with models of macroscopic system behavior.	AAMAS (2)	2009	DBLP BibTeX RDF	system dynamics, decentralized coordination
8	Anis Charfi, Artur Schmidt, Axel Spriestersbach	A Hybrid Graphical and Textual Notation and Editor for UML Actions.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
8	Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng	Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.	FASE	2009	DBLP DOI BibTeX RDF
8	Changwu Qiu, Qixin Cao	Modeling and Analysis of the Dynamics of an Omni-directional Mobile Manipulators System.	J. Intell. Robotic Syst.	2008	DBLP DOI BibTeX RDF	Whole body manipulation, Screw theory, Jourdain principle, Dynamics, Kinematics, Service robot, Mobile manipulators, Lie group
8	James Cheng, Yiping Ke, Wilfred Ng	A survey on algorithms for mining frequent itemsets over data streams.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Window models, Approximate algorithms, Frequent itemsets, Stream mining
8	Will Bridewell, Pat Langley, Ljupco Todorovski, Saso Dzeroski	Inductive process modeling.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Scientific discovery, Ecosystem modeling, Process models, System identification, Compositional modeling
8	Isabelle Perseil, Laurent Pautet	Foundations of a new software engineering method for real-time systems.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method
8	Shinq-Jen Wu	Reply to "Further Comment on "Optimal Fuzzy Controller Design: Local Concept Approach"".	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
8	Gongzhu Hu	A Formal Specification of UML Class and State Diagrams.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2008	DBLP DOI BibTeX RDF
8	Tony Spiteri Staines	Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets.	ECBS	2008	DBLP DOI BibTeX RDF
8	Abdelkrim Amirat, Mourad Oussalah 0001	Hierarchical Model to Develop Component-Based Systems.	ECBS	2008	DBLP DOI BibTeX RDF
8	John C. Reynolds	Readable Formal Proofs.	VSTTE	2008	DBLP DOI BibTeX RDF
8	Atsushi Shimojima, Yasuhiro Katagiri	An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning.	Diagrams	2008	DBLP DOI BibTeX RDF
8	Vinay Kulkarni, Sreedhar Reddy	A model-driven approach for developing business applications: experience, lessons learnt and a way forward.	ISEC	2008	DBLP DOI BibTeX RDF	modeling, code generation, meta model, business application
8	Matthew Staats, Mats Per Erik Heimdahl	Partial Translation Verification for Untrusted Code-Generators.	ICFEM	2008	DBLP DOI BibTeX RDF
8	Vania Dimitrova, Ronald Denaux, Glen Hart, Catherine Dolbear, Ian Holt, Anthony G. Cohn 0001	Involving Domain Experts in Authoring OWL Ontologies.	ISWC	2008	DBLP DOI BibTeX RDF	Ontology Authoring, Controlled Natural Language Interfaces, Evaluation of Ontology Building Tools, Geographical Ontologies
8	Jeff Gray 0001, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen	DSLs: the good, the bad, and the ugly.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	domain-specific languages, metamodeling, grammarware
8	François Fages, Sylvain Soliman	From Reaction Models to Influence Graphs and Back: A Theorem.	FMSB	2008	DBLP DOI BibTeX RDF
8	Matthieu Sozeau, Nicolas Oury	First-Class Type Classes.	TPHOLs	2008	DBLP DOI BibTeX RDF
8	Nasreddine Aoumeur, Gunter Saake	A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.	UNISCON	2008	DBLP DOI BibTeX RDF	Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic
8	Georg Buchgeher, Rainer Weinreich	Integrated Software Architecture Management and Validation.	ICSEA	2008	DBLP DOI BibTeX RDF
8	Oksana Nikiforova, Natalya Pavlova	Development of the Tool for Generation of UML Class Diagram from Two-Hemisphere Model.	ICSEA	2008	DBLP DOI BibTeX RDF
8	Emanuela Gadelha Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado	LTS-BT: a tool to generate and select functional test cases for embedded systems.	SAC	2008	DBLP DOI BibTeX RDF	generation, selection, model-based testing
8	Andrea De Lucia, Carmine Gravino, Rocco Oliveto, Genoveffa Tortora	Assessing the Support of ER and UML Class Diagrams during Maintenance Activities on Data Models.	CSMR	2008	DBLP DOI BibTeX RDF
8	Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Approximating Behaviors in Embedded System Design.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
8	Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer	Model Based Importance Analysis for Minimal Cut Sets.	ATVA	2008	DBLP DOI BibTeX RDF
8	Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma	Static Detection of Place Locality and Elimination of Runtime Checks.	APLAS	2008	DBLP DOI BibTeX RDF
8	Yen-Shou Lai, Yuan-Hou Chang, Pao-Ta Yu	Constructing a Multi-Monitor Displays System for Learning.	ICWL	2008	DBLP DOI BibTeX RDF	Multi-monitor Displays, Music Learning, Multimedia learning, Pedagogical Issues
8	Iván Martínez-Ortiz, Pablo Moreno-Ger, José Luis Sierra-Rodríguez, Baltasar Fernández-Manjón	A Flow-Oriented Visual Language for Learning Designs.	ICWL	2008	DBLP DOI BibTeX RDF	Educational Modeling Languages, Graphical authoring, Learning Design
8	Yongwu Miao, Tim Sodhi, Francis Brouns, Peter B. Sloep, Rob Koper	Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach.	EC-TEL	2008	DBLP DOI BibTeX RDF	IMS QTI, domain-specific modeling, peer assessment, IMS LD
8	Jennifer Horkoff, Golnaz Elahi, Samer Abdulhadi, Eric S. K. Yu	Reflective Analysis of the Syntax and Semantics of the i* Framework.	ER Workshops	2008	DBLP DOI BibTeX RDF	i* Modeling Framework, Language Variation, Goal Orientation
8	Thierry Coquand	Constructive Mathematics and Functional Programming (Abstract).	ESOP	2008	DBLP DOI BibTeX RDF
8	Claudia López, Hernán Astudillo, Luiz Marcio Cysneiros	Semantic-Aided Interactive Identification of Reusable NFR Knowledge Fragments.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Ontology, Software Architecture, NFR, Faceted Search
8	Joseph C. Okika, Anders P. Ravn	Classification of SOA Contract Specification Languages.	ICWS	2008	DBLP DOI BibTeX RDF
8	Chris J. Martin 0003, Janet M. Hughes	Cognitive dimensions questionnaire applied to exploratory algorithm design.	ITiCSE	2008	DBLP DOI BibTeX RDF	algorithm design notation, cognitive dimenstions of notation
8	Jesús Gallardo 0001, Ana I. Molina, Crescencio Bravo, Miguel A. Redondo, César A. Collazos 0001	Comparative Study of Tools for Collaborative Task Modelling: An Empirical and Heuristic-Based Evaluation.	CRIWG	2008	DBLP DOI BibTeX RDF	Collaborative modelling tools, Usability and awareness evaluation, Groupware, User Interface Design, Task Modelling
8	Kitti Setavoraphan, Floyd H. Grant	Conceptual simulation modeling: The structure of domain specific simulation environment.	WSC	2008	DBLP DOI BibTeX RDF
8	Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee	A Systematic Approach for Integrating Fault Trees into System Statecharts.	COMPSAC	2008	DBLP DOI BibTeX RDF
8	Todor Stoitsev, Stefan Scheidl, Felix Flentge, Max Mühlhäuser	From Personal Task Management to End-User Driven Business Process Modeling.	BPM	2008	DBLP DOI BibTeX RDF	process-enhanced groupware, agile workflow, computer supported cooperative work, business process modeling, end-user development
8	Michael Rosemann	Understanding and Impacting the Practice of Business Process Management.	BPM	2008	DBLP DOI BibTeX RDF
8	María Agustina Cibrán	Translating BPMN Models into UML Activities.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	UML Activities, MDA, Model Transformations, BDD, MDE, BPMN, ATL
8	Ibrahim Habli, Tim Kelly	A Model-Driven Approach to Assuring Process Reliability.	ISSRE	2008	DBLP DOI BibTeX RDF
8	Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda	A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	Multi-agent Systems, Coloured Petri Nets, Interaction Protocols, Business Processes Integration
8	Anthony Hall	Integrating Z into Large Projects Tools and Techniques.	ABZ	2008	DBLP DOI BibTeX RDF
8	François Fages, Sylvain Soliman	Formal Cell Biology in Biocham.	SFM	2008	DBLP DOI BibTeX RDF
8	José Nuno Oliveira	Extended Static Checking by Calculation Using the Pointfree Transform.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF	formal methods, Theoretical foundations, proof obligations, extended static checking
8	Muhammad Reza Z'aba, Håvard Raddum, Matthew Henricksen, Ed Dawson	Bit-Pattern Based Integral Attack.	FSE	2008	DBLP DOI BibTeX RDF	integral cryptanalysis, Noekeon, Block ciphers, present, Serpent
8	Robert C. Zeleznik, Timothy S. Miller, Chuanjun Li, Joseph J. LaViola Jr.	MathPaper: Mathematical Sketching with Fluid Support for Interactive Computation.	Smart Graphics	2008	DBLP DOI BibTeX RDF
8	Hallvard Trætteberg	UI Design without a Task Modeling Language - Using BPMN and Diamodl for Task Modeling and Dialog Design.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	business process management notation, User interface design, dialog modeling
8	Sybille Caffiau, Patrick Girard 0002, Dominique L. Scapin, Laurent Guittet, Loé Sanou	Assessment of Object Use for Task Modeling.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	K-MADe, evaluation, objects, task models
8	Marco Brambilla 0001, Christina Tziviskou	Modeling Ontology-Driven Personalization of Web Contents.	ICWE	2008	DBLP DOI BibTeX RDF
8	Chunhua Yang 0002	Towards a Framework for Reasoning about Aspect Weaving Impact.	CSSE (2)	2008	DBLP DOI BibTeX RDF
8	Tony C. Shan	The Tao of SOA.	WEBIST (Selected Papers)	2008	DBLP DOI BibTeX RDF	platform and strategy, model, architecture, integration, framework, standards, management, pattern, tool, computing, process, taxonomy, technology, development, method, infrastructure, environment, Service-oriented, practice, lifecycle, roadmap, maturity
8	Avik Sinha, Matthew Kaplan 0003, Amit M. Paradkar, Clay Williams	Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.	MoDELS	2008	DBLP DOI BibTeX RDF
8	Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker	Semantically Configurable Code Generation.	MoDELS	2008	DBLP DOI BibTeX RDF
8	Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons 0001, George Michaelides	A pilot study of comparative customer comprehension between extreme x-machine and uml models.	ESEM	2008	DBLP DOI BibTeX RDF	extreme x-machines, xxm, testing, formal method, customer, requirements elicitation, empirical
8	Luigi Lavazza, Vieri Del Bianco, Carla Garavaglia	Model-based functional size measurement.	ESEM	2008	DBLP DOI BibTeX RDF	uml, requirements modeling, functional size measurement, function point analysis
8	Katsuhito Yamaguchi, Toshihiko Komada, Fukashi Kawane, Masakazu Suzuki	New Features in Math Accessibility with Infty Software.	ICCHP	2008	DBLP DOI BibTeX RDF
8	Jean-Baptiste Voron, Fabrice Kordon	Transforming sources to petri nets: a way to analyze execution of parallel programs.	SimuTools	2008	DBLP DOI BibTeX RDF	petri nets, software analysis, GCC
8	Golnaz Elahi, Eric S. K. Yu, Maria Carmela Annosi	Modeling Knowledge Transfer in a Software Maintenance Organization - An Experience Report and Critical Analysis.	PoEM	2008	DBLP DOI BibTeX RDF
8	Chunqing Chen, Jin Song Dong, Jun Sun 0001	A verification system for timed interval calculus.	ICSE	2008	DBLP DOI BibTeX RDF	real-time systems, theorem proving, specification language, pvs
8	Iván García-Magariño	Towards the Coexistence of Different Multi-Agent System Modeling Languages with a Powertype-Based Metamodel.	DCAI	2008	DBLP DOI BibTeX RDF	powertype, software engineering, multi-agent systems, model-driven development, metamodel
8	Qian Zhang	Visual Software Architecture Description Based on Design Space.	QSIC	2008	DBLP DOI BibTeX RDF	Visual notation, Software architecture, Architecture description language, Design space
8	Pierre-Louis Curien	The Joy of String Diagrams.	CSL	2008	DBLP DOI BibTeX RDF
8	France Mihelic, Bostjan Vesnicer, Janez Zibert, Elmar Nöth	Prosodic Events Recognition in Evaluation of Speech-Synthesis System Performance.	TSD	2008	DBLP DOI BibTeX RDF	Speech synthesis, prosody, system evaluation
8	Prakash Musham, Sharad Singh, Rashi Bahal, T. V. Prabhakar	Visual SBVR.	ICDIM	2008	DBLP DOI BibTeX RDF
8	Lin Padgham, Michael Winikoff, Scott A. DeLoach, Massimo Cossentino	A Unified Graphical Notation for AOSE.	AOSE	2008	DBLP DOI BibTeX RDF
8	Andreas Bauer 0002, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun 0003, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein	Das AutoMoDe-Projekt.	Inform. Forsch. Entwickl.	2007	DBLP DOI BibTeX RDF	AutoMoDe, embedded software, synchronous languages, Automotive software engineering
8	Loc Bui, R. Srikant 0001, Alexander L. Stolyar	Optimal resource allocation for multicast flows in multihop wireless networks.	SIGMETRICS Perform. Evaluation Rev.	2007	DBLP DOI BibTeX RDF
8	Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van	Early verification and validation of mission critical systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Model-checking, Animation, Requirements engineering, Monitoring, Verification and validation, Goal modelling
8	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Refinement preserving approximations for the design and verification of heterogeneous systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
8	Diomidis Spinellis	On Paper.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	usability, interruptions, flow, Paper