The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism must meet, and use these to evaluate well-established formalisms and two process algebras that we have been developing, namely, Webπ∞ and CCSdp. A simple case study is developed to illustrate the modelling power of these...
Change management or configuration management is becoming necessity for every facet of software system development. Traceability of objects i.e. artifacts or information units becomes core talent for authentic determination of the parametric information over the explicit instance of time. This paper presents the evolving and useful concept of traceability management wrapped in change management paradigm...
Requirements documents are often tedious to construct, difficult to manage, and poor for mediating communication between stakeholders during a software development project. Using system concepts can simplify the way you determine, handle, and communicate requirements in a busy world. They could even help you design more innovative software systems
Aspect-oriented software development has focused on the software life cycle's implementation phase: developers identify and capture aspects mainly in code. But aspects are evident earlier in the life cycle, such as during requirements engineering and architecture design. Early aspects are concerns that crosscut an artifact's dominant decomposition or base modules derived from the dominant separation-of-concerns...
Modeling languages that are used to capture the essential properties of embedded real-time computer systems must also allow a description of the system's physical environment. The reason is that the environment is the ultimate source of all requirements on the system, and in particular, real-time constraints are derived from the dynamics of the physical objects under control. However, most modeling...
Describes the need to explore and evaluate text descriptions of proposed computer-based systems, presents an approach for automated support for text-based system assessment, and reports on the use of this approach in support of system assessment for a complex multi-segment project: the Federal Bureau of Investigation's Integrated Automated Fingerprint Identification System (IAFIS). Text-based system...
Jackson system development is a method that has at its basis the assertion that any computer system is in reality a model of some portion of the real world. The Jackson system development method is a technical method that is limited to the software life cycle. The method addresses all stages of the life cycle. As originally developed the method acted as a framework for other specialist techniques...
A high-resolution frame-transfer CCD (charge coupled device) imager for NTSC standards was developed for use in both conventional movie mode and electronic still picture mode. The requirements for these modes of operation are illustrated. The CCD structure consists of an image section, an intermediate output register, a storage section and a second output register. Operation of the sensor in both...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.