Listing 1 - 10 of 106 | << page >> |
Sort by
|
Choose an application
This text comprises proceedings from the 12th Knowledge-based Software Engineering Conference of 1997. The contents include information on synthesis, verification and validation, knowledge-based environments and reverse engineering.
Choose an application
Proceedings of the July 1997 workshop, concentrating on software engineering's role in software and systems development, evolution, and management. Reports on current practical, applied, experimental, and theoretical work affecting software engineering practice, with sections on system architectures, reverse engineering, system development methods, OO development, configuration management and system interconnection tools, software reuse, process modeling, software engineering education, and COTS technology. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Choose an application
Choose an application
Choose an application
This text comprises proceedings from the 12th Knowledge-based Software Engineering Conference of 1997. The contents include information on synthesis, verification and validation, knowledge-based environments and reverse engineering.
Choose an application
Proceedings of the July 1997 workshop, concentrating on software engineering's role in software and systems development, evolution, and management. Reports on current practical, applied, experimental, and theoretical work affecting software engineering practice, with sections on system architectures, reverse engineering, system development methods, OO development, configuration management and system interconnection tools, software reuse, process modeling, software engineering education, and COTS technology. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Choose an application
The three keynote addresses cover the new for new software technology, principles of software evolution, and auditing informal software testing and analysis processes. Others of the 41 papers consider a design metric for module coupling, a class testing technique based on data binding, safety analysis using colored Petri nets, a dynamic extension for specifying distributed systems, designing and implementing dynamically reconstructing system software, a dialog- oriented user interface generation mechanism, real-time system design tools based on a real-time object model, and other topics. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Choose an application
This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.
Choose an application
Software engineering --- Management --- Software engineering - Management
Choose an application
Listing 1 - 10 of 106 | << page >> |
Sort by
|