Topics
object-orientedProgramming language
This paper presents a methodology for object identification and refinement from the software requirements, which is based on object-based formal specification (OBFS). This methodology provides the mean of understanding the object-oriented paradigm easily, and supports us with identifying and refining the objects. As a case study, we have implemented a system for supporting the program committee chair of an international conference. 1
Requirements capture is the first step in the process of meeting customer needs. Building and analys...
Object-oriented re-architecting (OORA) concerns identification of objects in procedural code with th...
Object-oriented methods aim at providing natural ways for decomposing (or composing) a system into (...
Identifying generic or common objects is the most intricate part for developing applications in pure...
AbstractThe Business Process (BP) requirements is specified in the form of software requirements spe...
co-located with the 28th International Conference on Requirements Engineering: Foundation for Softwa...
During the last decade, object orientation has been advanced as a promising paradigm for software co...
Abstract-The software developer's task begins with the procurement of project charter. This is ...
Formal methods provide rigorous approaches and proof mechanisms for the development and verification...
. During the last decade, object orientation has been advanced as a promising paradigm for software ...
Object-oriented methods aim at providing natural ways for decomposing (or composing) a system into (...
Abstract. During the last decade, object orientation has been advanced as a promising paradigm for s...
An object in computer language represents a real globe object by revealing details about it such as ...
https://doi.org/10.1109/CMPSAC.1988.17211 Paper presented at COMPSAC 88, The Twelfth Annual Interna...
Semantic case analysis provides a useful and powerful tool for an object-oriented analysis of softwa...
Requirements capture is the first step in the process of meeting customer needs. Building and analys...
Object-oriented re-architecting (OORA) concerns identification of objects in procedural code with th...
Object-oriented methods aim at providing natural ways for decomposing (or composing) a system into (...
Identifying generic or common objects is the most intricate part for developing applications in pure...
AbstractThe Business Process (BP) requirements is specified in the form of software requirements spe...
co-located with the 28th International Conference on Requirements Engineering: Foundation for Softwa...
During the last decade, object orientation has been advanced as a promising paradigm for software co...
Abstract-The software developer's task begins with the procurement of project charter. This is ...
Formal methods provide rigorous approaches and proof mechanisms for the development and verification...
. During the last decade, object orientation has been advanced as a promising paradigm for software ...
Object-oriented methods aim at providing natural ways for decomposing (or composing) a system into (...
Abstract. During the last decade, object orientation has been advanced as a promising paradigm for s...
An object in computer language represents a real globe object by revealing details about it such as ...
https://doi.org/10.1109/CMPSAC.1988.17211 Paper presented at COMPSAC 88, The Twelfth Annual Interna...
Semantic case analysis provides a useful and powerful tool for an object-oriented analysis of softwa...
Requirements capture is the first step in the process of meeting customer needs. Building and analys...
Object-oriented re-architecting (OORA) concerns identification of objects in procedural code with th...
Object-oriented methods aim at providing natural ways for decomposing (or composing) a system into (...
Add to ORKG