Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

27 articles for “software specification”
Set a search alert
Research ArticleOpen accessPhrase in the titleCSCW for Preparing Formal Software Specifications: Issues and ImplementationMohamed A. Sullabi, Zarina ShukurIn this study, we concern with how a group of rectifiers can be worked on preparing and producing correct formal software specification and how can they communicate with each other. To address these subjects, we come into view of two different issues, collaborative issues and formal specification issues. Each of these issues is taken into consideration when we propose the … …Journal of Computer Science, Vol. 4, Issue 4 · 30 Apr 2008 · 6,581 accessesView PDFCite
Research ArticleOpen accessPhrase in the titleSNL2Z: Tool for Translating an Informal Structured Software Specification into Formal SpecificationMohamed A. Sullabi, Zarina ShukurIn the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool … …American Journal of Applied Sciences, Vol. 5, Issue 4 · 30 Apr 2008 · 7,139 accessesView PDFCite
Research ArticleOpen accessIn the keywordsA Design Method of SPEM-based Feature Methodology FrameworkChee-Yang Song, Eun-Sook ChoExisting feature methodologies have been presented primarily at the research level, lacking generalized frameworks suitable for commercial application. Critically, the absence of SPEM (Software & Systems Process Engineering Metamodel) standard compliance limits their standardization and systematization, hindering practical adoption. Furthermore, work-product-based feature methodology frameworks that facilitate methodological structuring are needed to address the evolving complexity of software development processes. This … …Journal of Computer Science, Vol. 21, Issue 11 · 26 Dec 2025 · 1,719 accessesView PDFCite
Research ArticleOpen accessIn the keywordsUML Diagrams Generator: A New CASE Tool to Construct the Use-Case and Class Diagrams from an Event TableMohammad I. Muhairat, Rafa E. Al-Qutaish, Akram A. AbdelqaderProblem statement: Building UML diagrams is a very important and time consuming task for both requirements and design phases. However, some of these diagrams, such as use-case and class diagrams can be considered as a transition between the two phases. Approach: Through this study, the event table will be used to derive the use-case and class diagrams. Results: A new … …Journal of Computer Science, Vol. 6, Issue 3 · 31 Mar 2010 · 8,042 accessesView PDFCite
Research ArticleOpen accessIn the abstractAn Extension to UML for the Modeling of Web Based Bus Reservation SystemHussain Mohammad Abu-Dalbouh, Sulaiman Abdullah AlateyahBus reservation system had actualized in different nations for years, at first from manual to automated reservation system. Online bus ticketing and reservation administrations are adequately expanding in the market since it was propelled by Park May. Now, numerous individuals and organizations are beginning to gain insights of the express bus reservation system. Considering the bus ticket reservation system that … …Journal of Computer Science, Vol. 16, Issue 6 · 2 Jul 2020 · 8,345 accessesView PDFCite
Research ArticleOpen accessIn the abstractThinging-Based Conceptual Modeling: Case Study of a Tendering SystemSabah Al-Fedaghi, Esraa HaidarIn computer science, models are made explicit to provide formality and a precise understanding of small, contingent “universes” (e.g., an organization), as constructed from stakeholder requirements. Conceptual modeling is a fundamental discipline in this context whose main concerns are identifying, analyzing and describing the critical concepts of a universe of discourse. In the information systems field, one of the reasons … …Journal of Computer Science, Vol. 16, Issue 4 · 15 Apr 2020 · 7,943 accessesView PDFCite
Research ArticleOpen accessIn the abstractTowards a Reference Model of Software Resources QualityKhaled Almakadmeh, Kenza Meridji, Khalid T. Al-SarayrehInternational standards for software product quality classify software resources as a non-functional requirement for software product. Resources requirements based-standards describe required resources requirements related to software and hardware requirements, in which hardware resources requirements specify requirements relevant to hardware environment in which the software will operate. Whereas, software resources requirements specify sizing and timing requirements required by software product. This … …Journal of Computer Science, Vol. 14, Issue 2 · 3 Feb 2018 · 7,811 accessesView PDFCite
Review ArticleOpen accessIn the abstractAn Overview on the use of Ontologies in Software EngineeringDaniel Strmečki, Ivan Magdalenić, Dragutin KermekOne of the main goals of the Software Engineering (SE) discipline is to find higher abstraction levels and ways to reuse software in order to increase its productivity and quality. Ontologies, which are typically considered as a technique or an artifact used in one or more software lifecycle phases, may be used to help achieve that goal. This paper provides … …Journal of Computer Science, Vol. 12, Issue 12 · 9 Feb 2017 · 7,353 accessesView PDFCite
Research ArticleOpen accessIn the abstractNon Functional Requirement Traceability Automation-an Mobile Multimedia ApproachM. Rajaram, J. SelvakumarRequirements Engineering (RE) is the area of software engineering that deals with the discovery and specification of the objectives for the system under development and the environment in which it is used including the human activities it supports. Requirement Elicitation is process of gathering requirements from stakeholders. Incorporating RE to identify non Functional Requirements (NFR) in early stages of design … …Journal of Computer Science, Vol. 8, Issue 11 · 7 Sep 2012 · 6,923 accessesView PDFCite
Research ArticleOpen accessIn the abstractApplying Software Engineering Methodology for Designing Biomedical Software Devoted To Electronic InstrumentationGilsa Aparecida de Lima Machado, Patricia Mara Danella Zacaro, Alderico Rodrigues de Paula Junior, Marcelo Lopes de Oliveira e SouzaProblem statement: Significant effort goes into the development of biomedical software, which is integrated with computers/processors, sensors and electronic instrumentation devoted to a specific application. However, the scientific work on electronic instrumentation controlled by biomedical software has not emphasized software development, instead focusing mainly on electronics engineering. The development team is rarely composed of Software Engineering (SE) experts. Usually, a … …Journal of Computer Science, Vol. 8, Issue 10 · 23 Aug 2012 · 6,971 accessesView PDFCite