UML-Based co-design framework for body sensor network applications

UML-Based co-design framework for body sensor network applications

Ph.D

Saved in:

書目詳細資料
主要作者:	SUN ZHENXIN
其他作者:	COMPUTER SCIENCE
格式:	Theses and Dissertations
語言:	English
出版:	2013
主題:	BSN, UML, Co-design
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/37904
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore
語言:	English

相似書籍

UML design verification based on model checking techniques
由: Kishi, Tomoji
出版: (2016)

Design science research on systems analysis and design: The case of UML
由: TAN, X., et al.
出版: (2007)

A UML-driven ASIC design methodology aided by an automated UML-SystemC translator
由: NAVNEET ARVIND JAGANNATHAN
出版: (2010)

A UML-based tool for designing HLA federates
由: LIU PENG
出版: (2010)

A Design Framework for Reactive and Time-triggered Embedded Systems via the UML-SystemC bridge
由: KATHY NGUYEN DANG
出版: (2010)

Design of adaptive and hybrid energy & QOS aware heterogeneous multiprocessor scheduling strategies for embedded systems
由: SIVANESAN KAILASH PRABHU
出版: (2010)

A UML 2-based hardware-software co-design framework for body sensor network applications
由: Sun, Z., et al.
出版: (2013)

USMMC: A self-contained model checker for UML state machines
由: Liu, S., et al.
出版: (2014)

Differencing UML models: A domain-specific vs. a domain-agnostic method
由: Mikhaiel, R., et al.
出版: (2014)

UML as a system level design methodology with application to software radio
由: SUN ZHENXIN
出版: (2010)

Component-based development using UML
由: ZHAO, L., et al.
出版: (2002)

Formalizing UML state machines for automated verification: A survey
由: ETIENE, Andre, et al.
出版: (2023)

USMMC: A self-contained model checker for UML state machines
由: LIU, Shuang, et al.
出版: (2013)

Theoretical and practical complexity of UML
由: ERICKSON, J., et al.
出版: (2004)

Challenges in learning UML: From the perspective of diagrammatic representation and reasoning
由: SHEN, Z., et al.
出版: (2018)

A semiotics view of modeling method complexity – The case of UML
由: SIAU, Keng, et al.
出版: (2005)

Can UML be simplified? Practitioner use of UML in separate domains
由: ERICKSON, J., et al.
出版: (2007)

XML-based representation in a CBR system for fixture design
由: Liqing, F., et al.
出版: (2014)

An investigation into the continued use of Unified Modeling Language (UML) in information systems development
由: SIAU, Keng, et al.
出版: (2005)

Parameterized validation of UML-Like models for reactive embedded systems
由: ANKIT GOEL
出版: (2010)

Ngôn ngữ UML và ngôn ngữ SDL : Luận văn ThS. Công nghệ thông tin
由: Trịnh, Thị Thuý Giang
出版: (2017)

Sử dụng hiệu quả ngôn ngữ đặc tả UML trong phát triển phần mềm
由: Trần, Thịnh Phong
出版: (2016)

A UML-based approach for heterogeneous IP integration
由: Zhenxin, S., et al.
出版: (2013)

A UML-based design framework for time-triggered applications
由: Nguyen, K.D., et al.
出版: (2013)

Phát triển phần mềm hướng đối tượng sử dụng UML
由: Nguyễn, Thị Tuyết
出版: (2017)

A UNIFIED STRUCTURED PROCESS MODEL FOR HEALTH ANALYTICS
由: SUPUNMALI AHANGAMA
出版: (2015)

Development of Sophisticated Unmanned Software Systems and Applications to UAV Formation
由: DONG XIANGXU
出版: (2012)

Phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL
由: Nguyễn, Văn Hòa
出版: (2017)

Using service responsibility tables to supplement UML in analyzing e-service systems
由: TAN, Xin, et al.
出版: (2011)

Sử dụng hiệu quả ngôn ngữ đặc tả UML trong phát triển phần mềm : Luận văn ThS. Công nghệ thông tin: 1 01 10
由: Trần, Thịnh Phong
出版: (2017)

A formal object approach to the design of ZML
由: Sun, J., et al.
出版: (2013)

UML và ứng dụng xây dựng mô hình hệ thống quản lý đào tạo : Luận văn ThS. Công nghệ thông tin : 1 01 10
由: Vũ Thị Tâm
出版: (2017)

Symbolic message sequence charts
由: Roychoudhury, A., et al.
出版: (2013)

XML-based formal specification comprehension
由: HUANG XIAONING
出版: (2010)

Mining modal scenarios from execution traces
由: Lo, D., et al.
出版: (2013)

Mining modal scenario-based specifications from execution traces of reactive systems
由: Lo, D., et al.
出版: (2013)

A XML/XSL approach to visualize and animate TCOZ
由: Sun, J., et al.
出版: (2013)

Tools and verification techniques for integrated formal methods
由: SUN JING
出版: (2010)

Co-Designing Technology for Aging in Place: A Systematic Review
由: Sumner, J, et al.
出版: (2022)

Emerging Design Processes for Emerging Technologies
由: Killi, Steinar
出版: (2016)