Software engineering

The enormous expansion in the use of software in every field of life make demands on installing and developing reusable, robust, reliable, flexible, adaptive software systems much accelerating. The appearance of component based software engineering (CBSE) adapts this challenge of the software development. In this process, it is essential to ensure that individual components can in fact interoperate together in the system..

Checking the conformability in CORBA component model specifications

Introduction The enormous expansion in the use of software in every field of life make demands on installing and developing reusable, robust, reliable, flexible, adaptive software systems much accelerating. The appearance of component based software engineering (CBSE) adapts this challenge of the software development. In this process, it is essential to ensure that individual components can in fact interoperate together in the system.

Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh

Ben-Ari (2008), Principles of the Spin Model Checker, 1st ed.. in In Proceedings of the First IFIP TC10 International Workshop on Software Engineering for Parallel and Distributed Systems, London, UK, UK.. in In Companion to the proceedings of the 29th International Conference on Software Engineering, Washing- ton, DC, USA.. in In ASE ’00 : Proceedings of the 15th IEEE international conference on Automated software engineering, Washington, DC, USA.. in In Proceedings of the 31st Annual International

Phương pháp sinh bộ kiểm thử từ biểu đồ tuần tự UML 2.0 và ứng dụng cho kiểm thử phần mềm

Pasareanu, Robby a nd Hong jun Zheng, "Bandera: extracting finite-state mo dels from Java source co de", Software Engineering, Pro ceedings of the 2000 Internat ional Conference on, pp. International Conference on, pp. Pezzè, ―Automatic generation of software b ehavioral mo dels", ACM, Pro ceedings of the 30th international conference on Software engineering, pp.

Kiến trúc hướng dịch vụ và ứng dụng trong chính phủ điện tử Hà NộI

000000240053-TT.pdf

Service Oriented Architecture (SOA) concept was launched with the expectation about a "revolution" in software engineering. Service oriented architecture (SOA) provides methods for system development and system integration and service integration. Thus service-oriented architecture used in e-government that are now the focus of development. This thesis aims to find out about the service-oriented architecture (SOA) and its applications for e-government in Hanoi.

Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP# và công cụ PAT

Visser Addressing dynamic issues of program model checking", Proceedings of the 8th international SPIN workshop on Model checking of software, Toronto, Ontario, Canada: Springer-Verlag New York, Inc., pp. [13] G.Barrett Model checking in practice: The T9000 Virtual Chan- nel Processor", IEEE Transactions on Software Engineering . [17] Jun Sun, Yang Liu, Jin Song Dong Model Checking CSP Revisited:.

Mô hình định tính dựa trên các giá trị ứng dụng trong lượng giá dự án phần mềm

297902.pdf

Kiến trúc và kỹ nghệ phần mềm dựa trên mô hình Kiến trúc và kỹ nghệ phần mềm dựa trên mô hình (Model Based Architecting and Software Engineering – MBASE) [12, 13] là một kỹ thuật khác cố gắng xác định tất cả các điều kiện cần thiết để có được giá trị. Cố gắng nhìn dọc theo bốn chiều để tối đa hóa giá trị

Security in the Development Process of Mobile Grid Systems

This task defines the software architecture of the system using traditional methods and mechanisms of software engineering as the Unified Process, OPEN, OpenUP, etc. The software architecture is designed from functional requirements and use cases of the application that have been analyzed following the techniques and guides offered by some development processes but its input artifact is the analysis model elaborated in the previous activity of this process..

Đề xuất các thuật toán định tuyến đem lại hiệu quả năng lượng trong mạng cảm biến không dây

Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed. Wireless sensor networks: a survey. Balakrishnan, Negotiation-based protocols for disseminating information in wireless sensor networks. A survey on routing protocols for wireless sensor networks . An energy efficient select optimal neighbor protocol for wireless ad hoc Networks.

Mô hình tương tác dựa trên role trong hệ đa agent

Zambonelli, ―Role-based Approaches for Engineering Interactions in Large-scale Multi-Agent Systems‖, 2001.. Zambonelli, ―RoleX Environment for Multi-Agent Cooperation‖, 2004.. Leonardi,―Supporting the Development of Multi-Agent. Coplien, ―A role-based empirical process modeling environment,‖ in Proc. Winikoff, ―Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes‖, Software Engineering for Multi-Agent Systems IV, 2005..

Mô hình tương tác dựa trên role trong hệ đa agent

Nghiên cứu phương pháp kiểm chứng tính đúng đắn của mô hình quy trình nghiệp vụ xây dựng bằng BPMN 2.0

Chương 3: Trình bày thuật toán chuyển đổi từ BPMN sang dấu vết nhân quả, áp dụng dấu vết nhân quả vào để phát hiện các dạng lỗi cấu trúc cơ bản (lỗi tắc. van der Business Process Management: A Comprehen-sive Survey", ISRN Software Engineering 2013, Vol. Awad, Ralf Laue and Ahmed (2009), Proceedings of the First International Workshop on Visual Formalisms for Patterns, Visualization of Business Process Modeling Anti Patterns, Vol.

A Grid Enabled Framework for Ubiquitous Healthcare Service Provisioning

Proceedings of the Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.. Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, (PETRA’10), Samos Greece, 42.. State of the art of virtual reality therapy (VRT) in phobic disorders.

Nghiên cứu hạ tầng khóa công khai và triển khai trong mạng không dây AD-HOC

Aarti, Dr.S.S Tyagi Study of MANET: Characteristics, Challenges, Application and Security Attacks", International Journal of Advanced Research in Computer Science and Software Engineering, Volume 3 (5), pp.252-257.. Ankur Khetrapal Routing techniques for Mobile Ad Hoc Networks Classification and Qualitative/Quantitative Analysis", Proceedings of ICWN, pp.251-257..

Ứng dụng kỹ thuật software factory trong phát triển phần mềm quản lý tài liệu lưu trữ Bộ Quốc phòng

311567.pdf

Software Factory của Microsoft. KỸ THUẬT PHÁT TRIỂN PHẦN MỀM DỰA TRÊN SOFTWARE FACTORY. 26 2.1 Software Factory. Software Factory Schema[4. Software Factory Templates. Công cụ để phát triển Software Factory. Phát triển phần mềm dựa trên Microsoft Software Factory (MSF. PHÁT TRIỂN PHẦN MỀM QUẢN LÝ TÀI LIỆU LƯU BỘ QUỐC PHÒNG SỬ DỤNG KỸ THUẬT SOFTWARE FACTORY. Lựa chọn công cụ phát triển ứng dụng WEB sử dụng Web Client Software Factory (WCSF.

An experience in developing embedded software using JNI

The process to develop embedded software The process to develop embedded software we proposed in this paper follows the above structure for embedded software. The process to develop embedded software.. Most of embedded software is still written in C/C++ so this is the store of legacy software. We can search them in the device manufactory home page, or in other developer pages.. Step 2: Analyze source code and find out the Bottom APIs of this program..

An experience in developing embedded software using JNI

The process to develop embedded software The process to develop embedded software we proposed in this paper follows the above structure for embedded software. The process to develop embedded software.. Most of embedded software is still written in C/C++ so this is the store of legacy software source codes which have features controlling the device. We can search them in the device manufactory home page, or in other developer pages.

An overview on Vietnam software outsourcing in the international market

Project title: An overview on Vietnam software outsourcing in the international market. Vietnam is known as one of the potential nations of software outsourcing with the low cost labor, young workforce. However, what is the position of Vietnam software outsourcing in the international market? In addition, how should Vietnam software outsourcing develop? Because of necessity of the issue, I choose the topic: “A look on Vietnam software outsourcing”..

Knowledge Management

Robillard, P.N.( 1991) The role of knolwedge in software development. Communications of the ACM,.42(1): p. Proceedings of the Third International Conference on Concurrent Engineering, pp.. 1 School of Science, University of the Thai Chamber of Commerce. Ontologies provide a common vocabulary of an area and define – with different levels of formality – the meaning of the terms and relations between them. An Analysis of the Requirements Traceability.

Research and development of advanced signal processing algorithms for multi-GNSS software receivers.(Nghiên cứu và phát triển giải thuật xử lý tín hiệu tiên tiến cho bộ thu mềm đa hệ thống GNSS).

000000295784.pdf