Titlebook: Software Engineering, Business Continuity, and Education; International Confer Tai-hoon Kim,Hojjat Adeli,Byeong-Ho Kang Conference proceedi

撕裂皮肉

Entrancing

枕墊

A UML Profile for Real Time Industrial Control Systems,l control systems. We have identified limitations of the existing modeling notations and proposed a new profile which overcomes the existing limitations. Our profile is based on unified modeling language’s standard extension mechanism and the notations/symbols used are according to international electrotechnical committee standard.

bibliophile

A Safe Regression Testing Technique for Web Services Based on WSDL Specification, In this paper, we present an automated safe specification based regression testing approach that uses original and modified WSDL specifications for change identification. All the relevant test cases are selected as reusable hence our regression test selection approach is safe.

傳染

EXALT

A Pattern-Based Approach to Formal Specification Construction,al expression, which enables the development of a supporting tool to automatically guide one to gradually formalize the specification. We take the SOFL notation as an example to discuss the underlying principle of the approach and use an example to illustrate how it works in practice.

青石板

RAG

Optimization of Transaction Mechanism on Java Card,t process based on storage locality in order to reduce the number of EEPROM writing. The test results show that this optimized mechanism expands the transaction capacity and improves the execution speed of Java Card applets.

Aboveboard

exostosis