Formal methods for a space software development environment

1994 ◽  
pp. 90-103 ◽  
Author(s):  
P. Taylor
Keyword(s):  
Software Development ◽  
Formal Methods ◽  
Development Environment ◽  
Software Development Environment

Building your own software development environment

1991 ◽  
Vol 6 (5) ◽  
pp. 317 ◽  
Author(s):  
Yasuhiro Sugiyama ◽  
Ellis Horowitz
Keyword(s):  
Software Development ◽  
Development Environment ◽  
Software Development Environment

CSDE: ccitt languages-based software development environment

2005 ◽  
Author(s):  
Jin P. Hong ◽  
S.H. Mm ◽  
C.H. Cho ◽  
S.Y. Kang
Keyword(s):  
Software Development ◽  
Development Environment ◽  
Software Development Environment

scholarly journals Means of integrating static source security analysis technology into the software development environment

2020 ◽  
Author(s):  
N. V. Goryuk ◽  
Keyword(s):  
Software Development ◽  
Static Analysis ◽  
Software Security ◽  
Source Code ◽  
Security Analysis ◽  
Development Environment ◽  
Static Source ◽  
Software Development Environment ◽  
Further Development ◽  
Code Development

The article investigates automation methods and means of integration of static source security analysis technology. The process of software security analysis, which is implemented by the technology of static analysis of the source code, is studied, and the methods of solving the problem of automation and integration of the technology into the source code development environment are offered. The perspective direction of further development of the technology of static analysis of the source code is established.

Improving Domain Searches through Customized Search Engines

2011 ◽  
pp. 1-22
Author(s):  
Cecil Eng Huang Chua ◽  
Roger H. Chiang ◽  
Veda C. Storey
Keyword(s):  
Information Retrieval ◽  
Software Development ◽  
Search Engine ◽  
Search Engines ◽  
Information Society ◽  
The Internet ◽  
Design Features ◽  
Development Environment ◽  
Software Development Environment ◽  
Automated Software

Search engines are ubiquitous tools for seeking information from the Internet and, as such, have become an integral part of our information society. New search engines that combine ideas from separate search engines generally outperform the search engines from which they took ideas. Designers, however, may not be aware of the work of other search engine developers or such work may not be available in modules that can be incorporated into another search engine. This research presents an interoperability architecture for building customized search engines. Existing search engines are analyzed and decomposed into self-contained components that are classified into six categories. A prototype, called the Automated Software Development Environment for Information Retrieval, was developed to implement the interoperability architecture, and an assessment of its feasibility was carried out. The prototype resolves conflicts between components of separate search engines and demonstrates how design features across search engines can be integrated.

PRAISE

2011 ◽  
pp. 105-140 ◽  
Author(s):  
William C. Chu ◽  
Chih-Hung Chang ◽  
Chih-Wei Lu ◽  
YI-Chun Peng ◽  
Don-Lin Yang
Keyword(s):  
Software Development ◽  
Software Systems ◽  
Development Environment ◽  
Agent Based ◽  
Software Development Environment ◽  
Software Methodologies ◽  
Integrated Software ◽  
Software Standards ◽  
Development And Evolution

Responding to the fact that software systems become more and more complex and mutable, not only the software-standards-related technologies should be adopted, but the environments for software development and evolution should also be flexible and integratable. These facts make software development and maintenance difficult and costly. In this chapter, we first illustrate the activities and studies for software standards, processes, CASE toolsets, and environments. Then, we propose a process and an environment for evolution-oriented software development, called the PRocess and Agent-based Integrated Software development Environment (PRAISE). PRAISE advocates software development with popular software methodologies, and it uses an XML-based mechanism to unify the various paradigms with different standards. It integrates processes, roles, toolsets, and work products to make software development more efficient. With PRAISE, users are encouraged to adopt familiar mechanisms and formal approaches as they wish. PRAISE maintains the consistency of the paradigms so that users do not need to worry about conflicts with other paradigms that are built in or added later. PRAISE meets the need for evolving software development and maintenance.

An integrated test software development environment

1987 ◽  
Vol 4 (1) ◽  
pp. 39 ◽  
Author(s):  
B.W. Coptcoat ◽  
G.N. Turner ◽  
I.R. Ibbitson ◽  
C.S. Hall ◽  
R.A. Bull
Keyword(s):  
Software Development ◽  
Development Environment ◽  
Software Development Environment
Sign in / Sign up

Export Citation Format

Share Document