• Journal of KIISE:Software and Applications
• /
• v.29 no.8
• /
• pp.529-542
• /
• 2002

More precise program slices could be obtained by considering the semantic relations between variables of interest, compared to the existing slicing techniques considering only the syntactic relations. In this paper, we present specification-based slicing that allows a better decomposition of the program by taking a specification as its slicing criterion. A specification-based slice consists of a subset of program statements which preserve the behavior and the correctness of the original Program with respect to a specification given by a pre-postcondition pair. Because specification-based slicing enables one to focus attention on only those program statements which realize the functional abstraction specified by the given specification, it can be widely used in many software engineering areas. Of its possible applications, we show how specification-based slicing can improve the Process for extracting reusable parts from existing programs and restructuring complex programs for better maintainability.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.8
• /
• pp.394-406
• /
• 2008

Even though context is the most important feature in context-aware systems, the existing requirements engineering cannot support methodology for elicitation and specification of contexts. In this paper, we propose a requirements elicitation method and a requirements specification method for context-aware systems. Our requirements elicitation method is a 6-stepped, incremental, and iterative process. At the beginning steps in the process, we identify the requirements for business logic. Afterwards, we gather the requirements for context logic, model contexts, and identify subsystems. For requirements specification, we suggest a context-aware use case diagram, a context diagram for context modeling, and a context-type-use-case-dependency diagram for the traceability of use cases on the change of context types. We also introduce a case study that we apply our approaches to a real system, and a qualitative evaluation of our approaches. Our study will help stakeholders to efficiently elicit requirements for context-aware systems and to specify them clearly.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.99-104
• /
• 2001

As a plan to counteract solving software crisis, the technology that is called Component Based Software Engineering (CBSE or Componentware) is introsuced. Component Based Software Developement (CBSD) Processes as one of the technique among CBSE have been proposed. Component specification activities among CBSD Processed are necessary and important for generating feusable component. However, the existing CBSD processed can't ensure the correctness in requirements are reflected. In this paper, we propose that formal activities wgich specify component using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 5 tasks and 12 subtasks. By presenting specific 19 products, it is also proposed that component specification activities which are the base of CBSD for reusing. The proposed activities are able to improve qualities of component through correctness and verification of requirements specification of users in the early step of component-based software process.

• The KIPS Transactions:PartC
• /
• v.12C no.7 s.103
• /
• pp.1015-1024
• /
• 2005

A delegation of privileges is one of important processes that empower authority to relevant node to process job that user wants in large-stale distributed environment such as Grid Computing. However, existing delegation methods do not give suitable privilege about Job, and do not atomize range of delegation and exists delegation of access privilege for only resources itself that is not delegation about executing process of job itself. Also, they do not apply about process that needs delegation before and after. execution of job such as reservation of system resources or host access before and after execution. Therefore, this paper proposes a method and specification for restricted delegation in distributed environment. Proposed method separates delegation for job side and privilege side, and express specification and procedure of delegation using XML schema and UML and present restricted delegation scenario in distributed computing environment.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.1
• /
• pp.117-124
• /
• 2002

In software development process, appropriate design can exist more than one. And software architectures can be restructured by modification and update during design processes. Therefore, the method that specify efficiently the modification elements of architectures, and manage different versions of architecture designed through various aspects is required. In this study, we propose software architecture restructuring mechanism that can restructure legacy architecture and a new software architecture designed with reuse of it in integrated form, and define specification elements and structure of the proposed restructured architecture specification. It provides the method that can reference and reuse architectures designed with various aspects of developers in architecture design processes. In addition, it supports flexible specification method for specification of modification elements such as revision, substitution, update of legacy software architecture.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.2
• /
• pp.23-32
• /
• 2010

WiBro(Wireless Broadband), the service based on IEEE 802.16e(mobile WiMAX) standard, is a wireless broadband Internet technology being developed by the domestic telecommunication industry. In this paper, we analyze security vulnerabilities of WiBro focusing on initial authentication phase and propose a specification-based intrusion detection system that can detect those vulnerabilities. We first derive a specification from the normally operational process of the initial authentication based on PKMv2 EAP-AKA and formalize the derived specification as a state transition diagram. Proposed system executes the intrusion detection based on those specification and state transition diagram. In this paper, to verify the detection capability of proposed system, we construct a test bed network and execute scenario-based test.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.41
• /
• pp.135-145
• /
• 1997

The statistical approach to quality control aims at alerting its user to any variations in the properties of a manufactured product. Motorola developed and pursued a quality management program called six sigma. The goal of six sigma programs is to improve customer satisfaction through reducing and eliminating defects. six sigma uses several statistical measure to characterize defect levels and process capabilities. The upper and lower specification limits are $\pm6\sigma$(sigma) from nominal, and the process mean is centered at nominal. only 0.002PPM are outside specification limits. Cp=2. this is the design target in a six sigma program. This article presents an important tool available for quality control of a production process at the occurrence of defects in manufactured products at view low levels to improve the efficiency of the manufacturing productivity and to satisfy customer through the reduction of defect rates. To understand the consequences of the level of quality on competitive position, a more technical perspective is needed.

• Journal of Korean Society for Quality Management
• /
• v.20 no.1
• /
• pp.80-90
• /
• 1992

In industries, the capability indices $C_p$ and $C_{pk}$ can be used to provide measures of process potential capability and performance, respectively. The new approach advocated by Taguchi in quality control overcomes some problems in other approaches preventive management activities. Taguchi introduces the emphasis on loss function to improve quality of products on the side of customer. The proceeding concept of capability indices is not rational for the measurement of quality if the process mean is not equal to target value. The Taguchi approach is said to be more reasonable than the others in quality evaluation because of his loss function. However, the capability indices $C_{pm}{^+}$ and $C_{pn}$ using Taguchi's loss function only consider, acceptance cost for deviation from target value within specification limits. In other words, they do not include rejection cost for nonconformings that are failed to fall on the specification limits.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.61 no.5
• /
• pp.770-776
• /
• 2012

For a few recent years, KECA(Korea Electrical Contractor Association) has promoted a project to establish an electrical construction specification called Master Spec. This paper analyses the characteristics of standards-making process of the Master Spec. as an umbrella technical standard in electrical construction industry in Korea. This paper argues that even if the Master Spec. is recognized to be technical standards, the standards-making process involves both technical and social practices when viewed from social construction theory and governance perspective. This aspect of social practices in technical standards making should be well understood because various stakeholders in terms of interests, resources, and motives try to influence the process positively and negatively. KECA in responsible for enactment of the Mater Spec. should be very thoughtful in building consensus first of all among electrical contractors, managing relationship with concerned government officials, and dealing with potential deviant groups as well as in pooling expertises and developing technical knowledge needed for designing technical specification.

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.350-354
• /
• 2004

□ Many specification language has been developed for workflow modeling, but their emphasis on the process semantics make it difficult for use on the business process modeling. □ Also their lack of understanding of global view of Business process adds another problem to model workflow in a seamless and accurate and timely fashion(omitted)