Adisak Intana, PhD COLLEGE OF COMPUTING Research Interests:

Slides:



Advertisements
Similar presentations
Controlled Vocabularies in TELPlus Antoine ISAAC Vrije Universiteit Amsterdam EDLProject Workshop November 2007.
Advertisements

Omnibus: A clean language and supporting tool for integrating different assertion-based verification techniques Thomas Wilson, Savi Maharaj, Robert G.
Knowledge Management and Engineering David Riaño.
Testing and Quality Assurance
Crowdsourcing ontology engineering Elena Simperl Web and Internet Science, University of Southampton 11 April 2013.
Basics of Knowledge Management ICOM5047 – Design Project in Computer Engineering ECE Department J. Fernando Vega Riveros, Ph.D.
Using the Semantic Web to Construct an Ontology- Based Repository for Software Patterns Scott Henninger Computer Science and Engineering University of.
Semantic Web and Web Mining: Networking with Industry and Academia İsmail Hakkı Toroslu IST EVENT 2006.
Investigating JAVA Classes with Formal Concept Analysis Uri Dekel Based on M.Sc. work at the Israeli Institute of Technology. To appear:
Trust, Privacy, and Security Moderator: Bharat Bhargava Purdue University.
Trust, Privacy, and Security Moderator: Bharat Bhargava 1 Coordinators: Bharat Bhargava 1, Csilla Farkas 2, and Leszek Lilien 1 1 Purdue University and.
An framework for model-driven product design and development using Modelica Adrian Pop, Olof Johansson, Peter Fritzson Programming Environments Laboratory.
Part 2: Requirements Days 7, 9, 11, 13 Chapter 2: How to Gather Requirements: Some Techniques to Use Chapter 3: Finding Out about the Users and the Domain.
1 CMSC 132: Object-Oriented Programming II Software Development III Department of Computer Science University of Maryland, College Park.
Stimulating reuse with an automated active code search tool Júlio Lins – André Santos (Advisor) –
SemanTic Interoperability To access Cultural Heritage Frank van Harmelen Henk Matthezing Peter Wittenburg Marjolein van Gendt Antoine Isaac Lourens van.
MCA –Software Engineering Kantipur City College. Topics include  Formal Methods Concept  Formal Specification Language Test plan creation Test-case.
EIA : “Automated Understanding of Captured Experience” Georgia Institute of Technology, College of Computing Investigators: Irfan Essa, G. Abowd,
Institute for Applied Computer Science in Mechanical Engineering (RPK) at the University of Karlsruhe (Germany) RPK Christine Bruch Institute for Applied.
Jon Atle GullaSpråkteknologi og innovasjon1 Språkteknologi i industrielle anvendelser Or: How we have commercialized linguistic technologies 1. Linguistics.
Compositional IS Development Framework Application Domain Application Domain Pre-existing components, legacy systems Extended for CD (ontologies) OAD Methods.
Personalized Information Retrieval in Context David Vallet Universidad Autónoma de Madrid, Escuela Politécnica Superior,Spain.
EXCS Sept Knowledge Engineering Meets Software Engineering Hele-Mai Haav Institute of Cybernetics at TUT Software department.
University of Dublin Trinity College Localisation and Personalisation: Dynamic Retrieval & Adaptation of Multi-lingual Multimedia Content Prof Vincent.
What is a life cycle model? Framework under which a software product is going to be developed. – Defines the phases that the product under development.
Caring and Sharing Collaboration in Digital Curation outside North America Ross Harvey Simmons College, Boston Curation Matters: 17 June 2010.
HCI in Software Process Material from Authors of Human Computer Interaction Alan Dix, et al.
Quality of Semi-Synchronous Bridged Multi-modal Internet Protocol Communication A Social Temporal Addition to Quality of Service Propagation Metrics via.
Hybrid automata and temporal logics
Data Mining By Dave Maung.
Software Engineering 2 Software Testing Claire Lohr pp 413 Presented By: Feras Batarseh.
Optimizing NASA IV&V Benefits Using Simulation Grant Number: NAG David M. Raffo, Ph.D College of Engineering and Computer Science School of Business.
Software Architectural Assumptions in Software Architecting Chen Yang a,b, Peng Liang a, Paris Avgeriou b a State Key Lab of Software Engineering, Wuhan.
Ontology-Based Computing Kenneth Baclawski Northeastern University and Jarg.
Geoffrey Duval (ISAE-SUPAERO) Naples, October 1 st, 2012.
CONCLUSIONS & CONTRIBUTIONS Ground-truth dataset, simulated search tasks environment Multiple everyday applications (MS Word, MS PowerPoint, Mozilla Browser)
Requirements Engineering-Based Conceptual Modelling From: Requirements Engineering E. Insfran, O. Pastor and R. Wieringa Presented by Chin-Yi Tsai.
UNIT-1 SOFTWARE PRODUCT AND PROCESS: Introduction – S/W Engineering paradigm – Verification – Validation – Life cycle models – System engineering –
Computational Tools for Population Biology Tanya Berger-Wolf, Computer Science, UIC; Daniel Rubenstein, Ecology and Evolutionary Biology, Princeton; Jared.
3rd Indian International Conference on Artificial Intelligence 2007, Puna, India Jan Rauch, KIZI.
 Computer is an electronic tool that can accept, process, and accumulate data which can produce a result or output.  Computer System is a combination.
FY 12 IPR Parallel Framework Capabilities PT123 computational kernel handles various ODE solvers. P2P communication model. Particle-mesh correlation provides.
Wolf Siberski1 Semantic Web Framework Requirements Analysis (D 1.2.2) Wolf Siberski.
Quality and Gatekeeping Use Cases for the OOR Ken Baclawski and Máximo Gurméndez College of Computer and Information Science Northeastern University.
The Earth System Grid (ESG) A Fault Monitoring System for ESG Components DOE SciDAC ESG Project Review Argonne National Laboratory, Illinois May 8-9, 2003.
ONTOREST Ontology based integrated disaster response tool Zeynep Sofuoglu MD PhD MSc AAHD / Emergency Ambulance Physicians Association.
1 Testing Implementations Of Access Control Systems (New Proposal) Ammar Masood: Graduate Student Arif Ghafoor (ECE) and Aditya Mathur (CS) Purdue University,
1 INTEGRATING ENGINEERING METHODOLOGIES ONTOLOGY SUMMIT 2007 Paola Di Maio (remote) Goal of this presentation: to propose an integrated software development.
Part III: The Future: Scenarios, Conclusions, and Recommendations [of HSI Methods in System Development] Frank E. Ritter 26 feb 08 1.
A Context Framework for Ambient Intelligence
Jens Ziegler, Markus Graube, Johannes Pfeffer, Leon Urbas
The 15th International Semantic Web Conference Kobe, Japan.
PREPARED BY G.VIJAYA KUMAR ASST.PROFESSOR
Object-Oriented Analysis & Design
G&W Chapter 22: Test Cases Software Specification Lecture 29
IS301 – Software Engineering V:
Adding.
Small Engine Tool ID Part 1.
Independent Study of Ontologies
Frequently asked questions about software engineering
Simon: Modeling and Analysis of Design Space Structures
Consensus driven Decision
Agenda Why context-aware apps and Web Services?
Software Engineering Lecture #45
Le Moyne College Summer Math Academy
Software Engineering Software Engineering is the science and art of
Analysis and Influence of Business Parameters on OTT Services
Software Engineering Software Engineering is the science and art of
Sustainable E-tourism Program 2011 First year Ph.D. Students
Fault Tree Analysis Summary Process Steps
Presentation transcript:

Adisak Intana, PhD COLLEGE OF COMPUTING Research Interests: PRINCE OF SONGKLA UNIVERSITY, PHUKET CAMPUS Research Interests: Software Engineering Formal Methods and Engineering Software Verification and Validation Software Testing CASE Tool Development Ontology Modelling and Engineering Semantic Web Application An Impact Analysis Framework of Test Cases Based on Changes of Use Case Based Requirement Specification with the Hybrid Testing Generation Approach of Equivalence Class Partitioning with Classification Tree Method Ongoing Research Projects: FATCG (Fault Analysis based Test Case Generation) Sriraksa, T., Intana, A. (2017) Adding Effectiveness to Combination of Equivalence Partitioning and Classification Tree Based Testing Technique with Fault Tree Analysis. In, the 21st International Computer Science and Engineering Conference 2017, pp.348-353.

COLLEGE OF COMPUTING UCDev (Use Case Development) Tool PRINCE OF SONGKLA UNIVERSITY, PHUKET CAMPUS UCDev (Use Case Development) Tool Intana, A., Buranapraphan, P., Pitukdansakul, J. and Vongna, S. (2017) A Prototype of Use Case Development for Supporting Scenario Based Requirement Engineering . In, the 9th National Conference on Information Technology (NCIT) 2017, pp.269-274. TestGen (Test Case Generation) Tool Intana, A., Sriraksa, T., Kaewyao, S., Phetrupan, J and Singsom, K. (2017) The Prototype Development of Automatic Test Case Generation for Supporting System and User Acceptance Testing . In, the 9th National Conference on Information Technology (NCIT) 2017, pp.246-252. A Framework of Test Case Generation with Software Requirements Ontology A Framework of Context – Aware Recommender System for Sport Tourists More Information: Email: adisak.i@phuket.psu.ac.th