Software Engineering on the Web
暂无分享,去创建一个
[1] Joseph E. Urban,et al. Multiple views of an executable software specification language , 1993, J. Syst. Softw..
[2] Joseph E. Urban,et al. A visual syntax-directed editor for the Descartes specification language , 1997 .
[3] Joseph E. Urban,et al. Software productivity: through undergraduate Software Engineering Education and Case Tools , 1994, The Impact of Case Technology on Software Processes.
[4] J. E. Urban,et al. Automated test data generation from Descartes specifications , 1996 .
[5] Ben Sawyer. The ultimate game developer's sourcebook , 1996 .
[6] J. E. Urban,et al. A real-time specification method for specifying and validating real-time concurrent systems , 1993, Proceedings of Phoenix Conference on Computers and Communications.
[7] Joseph E. Urban,et al. Executable specifications for distributed software systems , 1995, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
[8] Michael A. Jackson,et al. Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .
[9] J. Parthasarathy,et al. Verbal requirements method , 1993, IEEE Potentials.
[10] Daniel E Cooke. The Impact of Case Technology on Software Processes , 1994, Series on Software Engineering and Knowledge Engineering.
[11] David Jones,et al. Building a Web-Based Education System , 1997 .
[12] Joseph E. Urban,et al. A technique for validating Booch object-oriented designs from extensions to the Descartes specification language , 1996, Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076).