Search results for "specify"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	James W. Gray III, John McLean	Using temporal logic to specify and verify cryptographic protocols.	CSFW	1995	DBLP DOI BibTeX RDF	specify, system penetrator, correctness requirements, verification, formal specification, formal methods, cryptography, protocols, formal verification, temporal logic, temporal logic, cryptographic protocols, verify
37	Joshua Love, Jerry Jariyasunant, Eloi Pereira, Marco Zennaro, J. Karl Hedrick, Christoph M. Kirsch, Raja Sengupta 0002	CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors.	IEEE Real-Time and Embedded Technology and Applications Symposium	2009	DBLP DOI BibTeX RDF
37	Max Blair, Steven R. LeClair, Jeffrey V. Zweber, Adel Chemaly	MultiDisciplinary Design for Uninhabited Air Vehicles.	WETICE	1997	DBLP DOI BibTeX RDF	unmanned air vehicles, uninhabited air vehicles, process development, iterative specify-evaluate-revise approach, time-intensive approach, detailed design, geometric environment, performance analysis environment, materials processing evaluation environment, design-through-production efficiency, responsive product development cycles, interactive evaluation, combinatorial alternatives, performance envelopes, vehicle life, environmental constraints, components, product design, maintainability, conceptual design, product development, system reliability, lot size, process planning, multidisciplinary design, concurrent design, customer needs
26	Bruno Mermet, Gaële Simon	GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems.	AAMAS (1)	2009	DBLP BibTeX RDF	GDTs, verification, specification, temporal logic, multiagent systems
26	Kamrul Hasan Talukder, Koichi Harada	Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis.	SNPD	2008	DBLP DOI BibTeX RDF	Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart
26	Xiaohui Li, Yan Huang 0002	A Language and a Visual Interface to Specify Complex Spatial Patterns.	PAKDD	2007	DBLP DOI BibTeX RDF
26	José Aguilar 0001, Mariela Cerrada, Francisco Hidrobo	A Methodology to Specify Multiagent Systems.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
26	Di Wu, Jian Lin, Yabo Dong, Miaoliang Zhu	Using Semantic Web Technologies to Specify Constraints of RBAC.	PDCAT	2005	DBLP DOI BibTeX RDF	Semantic Web, constraint, RBAC, OWL
26	Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar	MOBICHARTS: A Notation to Specify Mobile Computing Applications.	HICSS	2003	DBLP DOI BibTeX RDF
26	Hoda Fahmy, Richard C. Holt	Using Graph Rewriting to Specify Software Architectural Transformations.	ASE	2000	DBLP DOI BibTeX RDF
22	Syed Sajid Hussain	Integrating end-user support and negotiations to specify requirements for context-based adaptations in a collaboration environment.	EICS	2010	DBLP DOI BibTeX RDF	collaborative conflict management, contextual and situation-based collaboration, requirement engineering in collaboration environments, socio technical information spaces, end-user support
22	Narcís Palomeras, Pere Ridao, Marc Carreras, Carlos Jorge Ferreira Silvestre	Using petri nets to specify and execute missions for autonomous underwater vehicles.	IROS	2009	DBLP DOI BibTeX RDF
22	César Andrés, Carlos Molinero, Manuel Núñez 0001	A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.	ICCS (1)	2009	DBLP DOI BibTeX RDF
22	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Formal methods, Testing and Debugging, Specification techniques
22	J. Javier Samper, Vicente R. Tomás, Eduardo Carrillo Zambrano, Rogério Patrício Chagas do Nascimento	Visualization of Ontologies to Specify Semantic Descriptions of Services.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Ontology design, Intelligent Web Services and Semantic Web
22	Amit M. Paradkar, Avik Sinha	Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.	ICSOC	2008	DBLP DOI BibTeX RDF	Invariants analysis, Service Functional Testing, Automated Test Generation
22	Hongbing Wang, Hui Liu, Xiaohui Guo	Specify and Compose Web Services by TLA.	ICWS	2008	DBLP DOI BibTeX RDF
22	Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava	A Rule-Based Notation to Specify Executable Electronic Contracts.	RuleML	2008	DBLP DOI BibTeX RDF
22	Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Daniel Gajski, Atsushi Nakamura, Dai Araki, Yuuji Nishihara	Specify-explore-refine (SER): from specification to implementation.	DAC	2008	DBLP DOI BibTeX RDF	electronic system-level (ESL) design
22	Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien	A Domain Analysis to Specify Design Defects and Generate Detection Algorithms.	FASE	2008	DBLP DOI BibTeX RDF	algorithm generation, Java, domain-specific language, detection, code smells, antipatterns, Design defects
22	Naresh Kumar Agarwal, Danny C. C. Poo	HCI and Information Search: Capturing Task and Searcher Characteristics Through 'User Ability to Specify Information Need'.	HCI (8)	2007	DBLP DOI BibTeX RDF	Human-computer interaction for search, sense-making theory, tasktechnology fit, information searching and retrieval
22	Sven Hartmann, Sebastian Link	XML Query Optimisation: Specify your Selectivity.	DEXA Workshops	2007	DBLP DOI BibTeX RDF	XML, Constraints, Optimisation, Query, Selectivity
22	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Based Programming.	All About Maude	2007	DBLP DOI BibTeX RDF
22	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	System Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
22	Youcef Baghdadi	Reverse engineering relational databases to identify and specify basic Web services with respect to service oriented computing.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Transformation pattern, CRUD operations pattern, Reverse engineering process, Web services, Service-oriented architecture, Relational databases, Service-oriented computing, CASE tool, Application architecture
22	Zicong Chen, Yong Tang 0001, Gaofeng Ji	Specify Properties in Synchronous CSCW Systems with Extended Temporal Logical Method.	CSCWD	2006	DBLP DOI BibTeX RDF
22	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.	FORTE	2006	DBLP DOI BibTeX RDF
22	Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-Pierre Hubaux	How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET.	BROADNETS	2006	DBLP DOI BibTeX RDF
22	Jens Brandt 0001, Klaus Schneider 0001	Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.	ICFEM	2005	DBLP DOI BibTeX RDF
22	XinJun Mao, Ji Wang 0001, Eric S. K. Yu	A Framework to Specify and Evaluate Coordination in MAS with Logic.	IAT	2004	DBLP DOI BibTeX RDF
22	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Alexandre Miège	A Formal Approach to Specify and Deploy a Network Security Policy.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
22	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
22	Thorsten Dräger, Gerhard P. Fettweis	Using Group Theory to Specify Application Specific Interconnection Networks for SIMD DSPs.	ASAP	2003	DBLP DOI BibTeX RDF
22	H. G. Mendelbaum, Raphael B. Yehezkael	Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems.	ECBS	2001	DBLP DOI BibTeX RDF	Extended Automata and Finite state Machines, Parallel Automata, CBS methodology, EFSM
22	Nunzio Nicoló Savino Vázquez, Ramón Puigjaner	A UML-Based Method to Specify the Structural Component of Simulation-Based Queuing Network Performance Models.	Annual Simulation Symposium	1999	DBLP DOI BibTeX RDF
22	Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong	SpecSyn: an environment supporting the specify-explore-refine paradigm for hardware/software system design.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
22	Martin Neil, Gary Ostrolenk, Mary Tobin, Mark Southworth	Lessons from Using Z to Specify a Software Tool.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	fault density, reliability, Formal methods, statistical testing, practical experience
22	Constance L. Heitmeyer	Using the SCR* Toolset to Specify Software Requirements.	WIFT	1998	DBLP DOI BibTeX RDF
22	Dieter Fensel, Arno Schönegge	Using KIV to Specify and Verify Architectures of Knowledge-Based Systems.	ASE	1997	DBLP DOI BibTeX RDF	reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification
18	Qilin Sun 0007, Weiming Zhi, Tianyi Zhang, Matthew Johnson-Roberson	Diagrammatic Instructions to Specify Spatial Objectives and Constraints with Applications to Mobile Base Placement.	CoRR	2024	DBLP DOI BibTeX RDF
18	Abdessamad Saidi 0002, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem	A formal approach to specify and verify Internet of Things architecture.	Internet Things	2023	DBLP DOI BibTeX RDF
18	Nikola Stambuk, Pasko Konjevoda, Albert Stambuk	How ambiguity codes specify molecular descriptors and information flow in Code Biology.	Biosyst.	2023	DBLP DOI BibTeX RDF
18	Wunna Kyaw, Ryan C. Chai, Weng Hua Khoo, Leonard D. Goldstein, Peter I Croucher, John M. Murray, Tri Giang Phan	ENTRAIN: integrating trajectory inference and gene regulatory networks with spatial data to co-localize the receptor-ligand interactions that specify cell fate.	Bioinform.	2023	DBLP DOI BibTeX RDF
18	Mengyue Yang, Xinyu Cai, Furui Liu, Weinan Zhang 0001, Jun Wang 0012	Specify Robust Causal Representation from Mixed Observations.	CoRR	2023	DBLP DOI BibTeX RDF
18	Markus Borg	Requirements on Technical Debt: Dare to Specify Them!	IEEE Softw.	2023	DBLP DOI BibTeX RDF
18	Mengyue Yang, Xinyu Cai, Furui Liu, Weinan Zhang 0001, Jun Wang 0012	Specify Robust Causal Representation from Mixed Observations.	KDD	2023	DBLP DOI BibTeX RDF
18	Dario Benvenuti, Andrea Marrella, Jacopo Rossi, Nikolay Nikolov, Dumitru Roman, Ahmet Soylu, Fernando Perales	A Reference Data Model to Specify Event Logs for Big Data Pipeline Discovery.	BPM (Forum)	2023	DBLP DOI BibTeX RDF
18	Mansour Diouf, Mouhamadou Thiam, Mathieu Roche	New approach to discover meaningful terms to specify cause of death from narratives verbal autopsy using TF-IDF and the LDA topic model.	EUROCON	2023	DBLP DOI BibTeX RDF
18	Perla Tannoury, Samir Chouali, Ahmed Hammad	Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components.	FACS	2023	DBLP DOI BibTeX RDF
18	Hamed Barzamini, Murtuza Shahzad, Hamed Alhoori, Mona Rahimi	A multi-level semantic web for hard-to-specify domain concept, Pedestrian, in ML-based software.	Requir. Eng.	2022	DBLP DOI BibTeX RDF
18	Bama Srinivasan, Ranjani Parthasarathi	A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings.	Logica Universalis	2022	DBLP DOI BibTeX RDF
18	Moyuru Yamada	Detect Only What You Specify : Object Detection with Linguistic Target.	CoRR	2022	DBLP DOI BibTeX RDF
18	Eldair F. Dornelles, Fernando Parahyba, Rafael Z. Frantz, Fabricia Roos-Frantz, Antonia M. Reina Quintero, Carlos Molina-Jiménez, José Bocanegra, Sandro Sawicki	Advances in a DSL to Specify Smart Contracts for Application Integration Processes.	CIBSE	2022	DBLP DOI BibTeX RDF
18	Leandro Antonelli 0001, Alejandro Fernández, Nicolas Ruffolo, Emiliano Sansone, Diego Torres	A Collaborative Approach to specify Kernel Sentences using Natural Language.	WER	2022	DBLP DOI BibTeX RDF
18	Leandro Antonelli 0001, Juliana Delle Ville, Felipe Dioguardi, Alejandro Fernández, Luciana Tanevitch, Diego Torres	An Iterative and Collaborative Approach to Specify Scenarios using Natural Language. (PDF / PS)	WER	2022	DBLP DOI BibTeX RDF
18	Ana Luiza Bicalho-Hoch, Felix Özkul, Nicolas Wittine, Sigrid Wenzel	A Tool-Based Approach to Assess Simulation Worthiness and Specify Sponsor Needs for SMEs.	WSC	2022	DBLP DOI BibTeX RDF
18	Thiago Rocha Silva	Towards a Domain-Specific Language to Specify Interaction Scenarios for Web-Based Graphical User Interfaces.	EICS (Companion)	2022	DBLP DOI BibTeX RDF
18	José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Matheus Wagner, Felipe Vieira, Mateus Martínez De Lucena, Antônio Augusto Fröhlich	Using Formal Methods to Specify Data-Driven Cyber-Physical Systems.	ISIE	2022	DBLP DOI BibTeX RDF
18	Sidra Naveed, Gunnar Stevens, Dean-Robin Kern	Explainable Robo-Advisors: Empirical Investigations to Specify and Evaluate a User-Centric Taxonomy of Explanations in the Financial Domain.	IntRS@RecSys	2022	DBLP BibTeX RDF
18	Michael Behringer, Manuel Fritz, Holger Schwarz, Bernhard Mitschang	DATA-IMP: An Interactive Approach to Specify Data Imputation Transformations on Large Datasets.	CoopIS	2022	DBLP DOI BibTeX RDF
18	Mario Fuksa	ViMoTest: a low code approach to specify ViewModel-based tests with a projectional DSL using JetBrains MPS.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
18	Younes Boubekeur, Prabhsimran Singh, Gunter Mussbacher	A DSL and model transformations to specify learning corpora for modeling assistants.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
18	Kush Bhatia	Learning when Objectives are Hard to Specify		2022	RDF
18	Marion Kaczmarek, Michael Filhol	Computer-assisted sign language translation: a study of translators' practice to specify CAT software.	Mach. Transl.	2021	DBLP DOI BibTeX RDF
18	Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye	Specify and measure, cover and reveal: A unified framework for automated test generation.	Sci. Comput. Program.	2021	DBLP DOI BibTeX RDF
18	Lichen Zhang, Jingyong Liu	Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus.	ICAC	2021	DBLP DOI BibTeX RDF
18	Aaron Hunter 0001	On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief.	Canadian AI	2021	DBLP BibTeX RDF
18	Fernando Asteasuain, Luciana Rodriguez Caldeira	A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems.	CACIC	2021	DBLP DOI BibTeX RDF
18	Joachim Block	Introducing a Hybrid Simulation Modeling Formalism to Specify Complex Adaptive Systems on the Conceptual Level.	SMC	2021	DBLP DOI BibTeX RDF
18	Clemens Linnhoff, Philipp Rosenberger, Simon Schmidt, Lukas Elster, Rainer Stark, Hermann Winner	Towards Serious Perception Sensor Simulation for Safety Validation of Automated Driving - A Collaborative Method to Specify Sensor Models.	ITSC	2021	DBLP DOI BibTeX RDF
18	Bernardo Breve, Francesco Greco, Giuseppe Desolda, Maristella Matera, Vincenzo Deufemia	Enabling End-Users to Specify Security Rules with the EFESTO-5W Platform.	EMPATHY@INTERACT	2021	DBLP BibTeX RDF
18	Daniel San Martín, Valter Vieira de Camargo	A Domain-Specific Language to Specify Planned Architectures of Adaptive Systems.	SBCARS	2021	DBLP DOI BibTeX RDF
18	Matthieu Viry	A declarative approach based on Semantic Web technologies to specify and generate adaptive geovisualisations. (Une approche déclarative basée sur les technologies du Web sémantique pour spécifier et générer des géovisualisations adaptatives).		2021	RDF
18	Fang-Chen Hsu, Chien-Nan Chen, Meng-Dar Shieh	Using stepwise backward elimination to specify terms related to tactile sense for product design.	Adv. Eng. Informatics	2020	DBLP DOI BibTeX RDF
18	Kazuhiro Ogata 0001	A Generic Approach on How to Formally Specify and Model Check Path Finding Algorithms: Dijkstra, A* and LPA.	Int. J. Softw. Eng. Knowl. Eng.	2020	DBLP DOI BibTeX RDF
18	Fábio Barreto, Raphael S. de Abreu, Eyre Brasil B. Montevecchi, Marina Ivanov Pereira Josué, Pedro Alves Valentim, Débora C. Muchaluat-Saade	Extending Ginga-NCL to Specify Multimodal Interactions With Multiple Users.	WebMedia	2020	DBLP DOI BibTeX RDF
18	Yves Lepage, Jean Lieber, Isabelle Mornard, Emmanuel Nauer, Julien Romary, Reynault Sies	The French Correction: When Retrieval Is Harder to Specify than Adaptation.	ICCBR	2020	DBLP DOI BibTeX RDF
18	Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau	Contract-based design patterns: a design by contract approach to specify security patterns.	ARES	2020	DBLP DOI BibTeX RDF
18	Andreas Liesenfeld, Chu-Ren Huang	NameSpec asks: What's Your Name in Chinese? A Voice Bot to Specify Chinese Personal Names through Dialog.	CIU	2020	DBLP DOI BibTeX RDF
18	Nan Niu, Logan Johnson, Christopher Diltz	Safety Patterns for SysML: What Does OMG Specify?	ICSR	2020	DBLP DOI BibTeX RDF
18	Alejandro Gabriel Villanueva Zacarias, Rachaa Ghabri, Peter Reimann 0002	AD4ML: Axiomatic Design to Specify Machine Learning Solutions for Manufacturing.	IRI	2020	DBLP DOI BibTeX RDF
18	Aline Couto Oliveira, Leonardo Filipe da Silva, Marcelo Medeiros Eler, André Pimenta Freire	Do Brazilian Federal Agencies Specify Accessibility Requirements for the Development of their Mobile Apps?	SBSI	2020	DBLP DOI BibTeX RDF
18	Carlos Marín-Lora, Alejandro Cercós, Miguel Chover, José Martínez Sotoca	A First Step to Specify Arcade Games as Multi-agent Systems.	WorldCIST (1)	2020	DBLP DOI BibTeX RDF
18	Aamir M. Khan, Frédéric Mallet, Muhammad Rashid	A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
18	Lanfranco Lopriore, Antonella Santone	Protected pointers to specify access privileges in distributed systems.	J. Parallel Distributed Comput.	2019	DBLP DOI BibTeX RDF
18	Yu Gao, Hua Li, Yuanping Li, Bowei Liu, Xianrong Wang, Hongwei Ruan	Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers.	QRS Companion	2019	DBLP DOI BibTeX RDF
18	Manuel Rudolph, Svenja Polst, Jörg Dörr	Enabling Users to Specify Correct Privacy Requirements.	REFSQ	2019	DBLP DOI BibTeX RDF
18	John Hughes 0001	How to Specify It! - A Guide to Writing Properties of Pure Functions.	TFP	2019	DBLP DOI BibTeX RDF
18	Unnati S. Shah, Sankita J. Patel, Devesh Jinwala	An Ontological Approach to Specify Conflicts among Non-Functional Requirements.	ICGDA	2019	DBLP DOI BibTeX RDF
18	Philipp Haindl, Reinhold Plösch, Christian Körner	An Extension of the QUAMOCO Quality Model to Specify and Evaluate Feature-Dependent Non-Functional Requirements.	SEAA	2019	DBLP DOI BibTeX RDF
18	Ahmad Juniar Ilham, Putu Harum Bawa, Tohari Ahmad	Protecting Secret Data using RDE and Fuzzy Logic to Specify the Embedding Level.	ICSIPA	2019	DBLP DOI BibTeX RDF
18	Pavan Kumar Chittimalli, Kritika Anand, Shrishti Pradhan, Sayandeep Mitra, Chandan Prakash, Rohit Shere, Ravindra Naik	BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules.	ASE	2019	DBLP DOI BibTeX RDF
18	Hisao Ishibuchi, Ryo Imada, Yu Setoguchi, Yusuke Nojima	How to Specify a Reference Point in Hypervolume Calculation for Fair Performance Comparison.	Evol. Comput.	2018	DBLP DOI BibTeX RDF
18	Janna-Lynn (Weber) Dupree, Edward Lank, Daniel M. Berry	A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
18	Alice H. Aubert, René Bauer, Judit Lienert	A review of water-related serious games to specify use in environmental Multi-Criteria Decision Analysis.	Environ. Model. Softw.	2018	DBLP DOI BibTeX RDF
18	Bahram Zarrin, Hubert Baumeister	An Integrated Framework to Specify Domain-Specific Modeling Languages.	MODELSWARD	2018	DBLP DOI BibTeX RDF
18	Philipp Ruppel, Norman Hendrich, Sebastian Starke, Jianwei Zhang 0001	Cost Functions to Specify Full-Body Motion and Multi-Goal Manipulation Tasks.	ICRA	2018	DBLP DOI BibTeX RDF
18	Vinitha Hannah Subburaj, Joseph E. Urban	Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems.	FedCSIS	2018	DBLP DOI BibTeX RDF
18	Koen Smit, Martijn Zoet	Applying the Decision Model and Notation in Practice: A Method to Design and Specify Business Decisions and Business Logic.	MCIS	2018	DBLP BibTeX RDF
18	Doglas W. Sorgatto, Débora Maria Barroso Paiva, Maria Istela Cagnin	How to elicit and specify software requirements from BPMN diagrams?	SBSI	2018	DBLP DOI BibTeX RDF