Tools for producing formal specifications : a view of current architectures and future directions

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications. However, the process of obtaining formal specifications that are consistent with the requirements is itself a difficult activity. Hence various researchers are developing systems that aid the transition from informal to formal specifications. The kind of problems tackled and the contributions made by these proposed systems are very diverse. This paper brings these studies together to provide a vision for future architectures that aim to aid the transition from informal to formal specifications. The new architecture, which is based on the strengths of existing studies, tackles a number of key issues in requirements engineering such as identifying ambiguities, incompleteness, and reusability. The paper concludes with a discussion of the research problems that need to be addressed in order to realise the proposed architecture

Ground Systems Development Environment (GSDE) interface requirements analysis

A set of procedural and functional requirements are presented for the interface between software development environments and software integration and test systems used for space station ground systems software. The requirements focus on the need for centralized configuration management of software as it is transitioned from development to formal, target based testing. This concludes the GSDE Interface Requirements study. A summary is presented of findings concerning the interface itself, possible interface and prototyping directions for further study, and results of the investigation of the Cronus distributed applications environment

Ground Systems Development Environment (GSDE) interface requirements analysis: Operations scenarios

This report is a preliminary assessment of the functional and data interface requirements to the link between the GSDE GS/SPF (Amdahl) and the Space Station Control Center (SSCC) and Space Station Training Facility (SSTF) Integration, Verification, and Test Environments (IVTE's). These interfaces will be involved in ground software development of both the control center and the simulation and training systems. Our understanding of the configuration management (CM) interface and the expected functional characteristics of the Amdahl-IVTE interface is described. A set of assumptions and questions that need to be considered and resolved in order to complete the interface functional and data requirements definitions are presented. A listing of information items defined to describe software configuration items in the GSDE CM system is included. It also includes listings of standard reports of CM information and of CM-related tools in the GSDE

A study of System Interface Sets (SIS) for the host, target and integration environments of the Space Station Program (SSP)

System interface sets (SIS) for large, complex, non-stop, distributed systems are examined. The SIS of the Space Station Program (SSP) was selected as the focus of this study because an appropriate virtual interface specification of the SIS is believed to have the most potential to free the project from four life cycle tyrannies which are rooted in a dependance on either a proprietary or particular instance of: operating systems, data management systems, communications systems, and instruction set architectures. The static perspective of the common Ada programming support environment interface set (CAIS) and the portable common execution environment (PCEE) activities are discussed. Also, the dynamic perspective of the PCEE is addressed

Illegal, Unreported and Unregulated (IUU) Fishing: A Whitepaper

Illegal, unregulated and unreported (IUU) fishing refers to fishing activities that do not comply with regional, national, or international fisheries conservation or management measures. This whitepaper characterizes the status of Illegal, unregulated, and unreported fishing, the philanthropic community's current efforts to help reduce it, and potential opportunities for the Packard Foundation to become more actively engaged. The paper was drafted between March and June 2015, following a combination of desk research and a handful of select interviews

Patent Damage Strategies and the Enterprise License: Constructive Notice, Actual Notice, No Notice

For the patent owner, early provision of patent notice can help maximize recoverable infringement damages during subsequent litigation. This iBrief recognizes a growing trend of infringement suits predicated on patented enterprise software technology, and analyzes application of patent notice principles against industry convention. This iBrief examines the licensing paradigm of enterprise software and questions whether mechanical compliance with the marking statute should qualify as constructive notice. Borrowing from analogous Federal Circuit principles, this iBrief concludes by proposing alternate notice theories that would empower patentees to seek increased remedies consistent with industry reality, case law, and fundamental statutory purpose