Search results for "RTPA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
302	Xinming Tan, Yingxu Wang 0001, Cyprian F. Ngolah	Design and Implementation of an Automatic RTPA Code Generator.	CCECE	2006	DBLP DOI BibTeX RDF
239	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
139	Xinming Tan, Yingxu Wang 0001	Transforming RTPA Mathematical Models of System Behaviors Into C++.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
139	Tony Khoo, Yingxu Wang 0001	Formalization of UML Models by RTPA.	CCECE	2006	DBLP DOI BibTeX RDF
103	Cyprian F. Ngolah, Yingxu Wang 0001, Xinming Tan	Implementing the Real-Time Processes of RTPA using Real-Time Java.	CCECE	2006	DBLP DOI BibTeX RDF
82	Yingxu Wang	A New Mathematical Notation for Describing Notion and Thought in Software Design.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	notion description, static behaviors, software engineering, software architecture, formal methods, Cognitive informatics, dynamic behaviors, RTPA
67	Natalia López, Manuel Núñez 0001, Fernando L. Pelayo	A Comparative Study of STOPA and RTPA.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF
64	Yingxu Wang 0001	On Contemporary Denotational Mathematics for Computational Intelligence.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Denotational mathematics, concept algebra, system algebra, embedded relations, incremental relations, big-R notation, software engineering, process algebra, knowledge engineering, computational intelligence, cognitive informatics, RTPA
54	Yingxu Wang 0001	Real-Time Process Algebra and Its Applications.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification
49	Jian Huang, Yingxu Wang	Formal Specification and Representation of Design Patterns Using RTPA.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
46	Yingxu Wang 0001	On Mathematical Laws of Software.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	denotational mathematics, generic model of software, laws of meta-processes, laws of process relations, laws of process compositions, modeling, software engineering, programs, analysis, software, process models, mathematical models, computational intelligence, Software science, RTPA, algebraic laws
46	Yingxu Wang 0001, Yiyu Yao, Guoyin Wang 0001	Perspectives on Denotational Mathematics: New Means of Thought.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, system algebra, visual semantic algebra, natural intelligence, AI, rough set, process algebra, knowledge engineering, granular computing, computational intelligence, Cognitive informatics, RTPA
46	Yingxu Wang, Dong Liu 0016, Günther Ruhe	Formal Description of the Cognitive Process of Decision Making.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	software engineering, expert systems, decision making, mathematical model, cognitive process, Cognitive informatics, formal description, RTPA
36	Yingxu Wang	Formal Descriptions of a Set of Meta Cognitive Processes of the Brain.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
36	Kai Hu, Yingxu Wang	Autolearner: An Autonomic Machine Learning System Based on Concept Algebra.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
36	Jian Huang, Yingxu Wang	Design of an Integrated Hyper Specification Documentation Tool.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
30	Yingxu Wang 0001, James Y. Xu	RTPA-based Software Generation by AI Programming.	ICCI*CC	2019	DBLP DOI BibTeX RDF
30	James Y. Xu, Yingxu Wang 0001	Towards a Methodology for RTPA-MATLAB Code Generation Based on Machine Learning Rules.	ICCI*CC	2018	DBLP DOI BibTeX RDF
30	Yingxu Wang 0001, Yousheng Tian	Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA.	Int. J. Softw. Sci. Comput. Intell.	2012	DBLP DOI BibTeX RDF
30	Yingxu Wang 0001, Xinming Tan, Cyprian F. Ngolah	Design and Implementation of an Autonomic Code Generator Based on RTPA.	Int. J. Softw. Sci. Comput. Intell.	2010	DBLP DOI BibTeX RDF
30	Luis Fernando Llana Díaz, Manuel Núñez 0001	Testing Semantics for RTPA.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
30	Yingxu Wang 0001	RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors.	Int. J. Cogn. Informatics Nat. Intell.	2008	DBLP DOI BibTeX RDF
30	Yingxu Wang 0001	Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain.	Int. J. Cogn. Informatics Nat. Intell.	2008	DBLP DOI BibTeX RDF
30	Yingxu Wang 0001, Jian Huang	Formal Modeling and Specification of Design Patterns Using RTPA.	Int. J. Cogn. Informatics Nat. Intell.	2008	DBLP DOI BibTeX RDF
30	Yingxu Wang 0001	Deductive Semantics of RTPA.	Int. J. Cogn. Informatics Nat. Intell.	2008	DBLP DOI BibTeX RDF
30	Xinming Tan, Yingxu Wang 0001	A Denotational Semantics of Real-Time Process Algebra (RTPA).	Int. J. Cogn. Informatics Nat. Intell.	2008	DBLP DOI BibTeX RDF
30	Yingxu Wang 0001, Cyprian F. Ngolah	An Operational Semantics of Real-Time Process Algebra (RTPA).	Int. J. Cogn. Informatics Nat. Intell.	2008	DBLP DOI BibTeX RDF
30	Thanh Phuong Nguyen, Ngoc Binh Nguyen	A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA).	RIVF	2004	DBLP BibTeX RDF
30	Yingxu Wang 0001	The Real-Time Process Algebra (RTPA).	Ann. Softw. Eng.	2002	DBLP DOI BibTeX RDF
18	Yingxu Wang 0001	Formal Description of the Cognitive Process of Memorization.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	neural informatics, brain science, memory creation, LRMB, OAR, modeling, learning, knowledge representation, memory, manipulation, computational intelligence, cognitive processes, Cognitive informatics, memorization, cognitive computing
18	Yingxu Wang	The cognitive processes of analysis and synthesis in formal inferences.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
18	Yingxu Wang	On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
18	Yingxu Wang	The Theoretical Framework and Cognitive Process of Learning.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
18	Yingxu Wang	Formal Description of the Mechanisms and Cognitive Process of Memorization.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
18	Yingxu Wang	On the Big-R Notation for Describing Iterative and Recursive Behaviors.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
18	Yingxu Wang 0001	Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation.	RSKT	2006	DBLP DOI BibTeX RDF
18	Yingxu Wang 0001	A Unified Mathematical Model of Programs.	CCECE	2006	DBLP DOI BibTeX RDF
18	Fabricio Rusu-Banu, Yingxu Wang	Formal Description of Time Management in Real-Time Operating Systems.	CCECE	2006	DBLP DOI BibTeX RDF
18	Yingxu Wang	The cognitive processes of abstraction and formal inferences.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
18	Cyprian F. Ngolah, Yingxu Wang 0001	Formal specification of CORBA-based distributed objects and behaviors.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
18	Yingxu Wang	On the cognitive processes of human perception.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
18	Yingxu Wang	On Autonomous Computing and Cognitive Processes.	IEEE ICCI	2004	DBLP DOI BibTeX RDF
18	Vincent Chiew, Yingxu Wang 0001	Formal Description of the Cognitive Process of Problem Solving.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	OAR, LRMB, software engineering, problem solving, knowledge engineering, cognitive processes, Cognitive informatics
18	Yingxu Wang, Davrondjon Gafurov	The Cognitive Process of Comprehension.	IEEE ICCI	2003	DBLP DOI BibTeX RDF	comprehension process, software engineering, knowledge engineering, cognitive processes, Cognitive informatics