What is software?
Tóm tắt
Từ khóa
Tài liệu tham khảo
Breaux, T.D., Anton, A.I.: Analyzing regulatory rules for privacy and security requirements. IEEE Trans. Softw. Eng. 34(1), 5–20 (2008)
Chen, B., Clarke, L.A., Avrunin, G.S., Osterweil, L.J., Henneman, E.A., Henneman, P.L.: Analyzing medical processes. In: ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE’08), pp. 623–632. Leipzig, Germany, May 2008
Clarke, L.A., Avrunin, G.S., Osterweil, L.J.: Using software engineering technology to improve the quality of medical processes. In: ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE’08), pp. 889–898. Leipzig, Germany, May 2008
Georgakopoulos, D., Hornick, M.F., Sheth, A.P.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distributed Parallel Databases 3(2), 119–153 (1995)
Naur, P., Randell, B. (eds.): Software Engineering, Report on a Conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 October 1968. Scientific Affairs Division NATO, Brussels, Belgium. Also available at http://homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1968.PDF
Osterweil, L.J.: Software processes are software too. In: AC M SIGSOFT/IEEE 9th International Conference on Software Engineering (ICSE 1987), pp. 2–13. Monterey, CA, March 1987
Osterweil, L.J. Software processes are software too, revisited. In: ACM SIGSOFT/IEEE 19th International Conference on Software Engineering (ICSE 1997), pp. 540–548. Boston, MA, May 1997
Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., Cory, T.: The British Nationality Act as a logic program. Commun. ACM 29(5), 370–386 (1986)
Simidchieva, B.L., Marzilli, M.S., Clarke, L.A., Osterweil, L.J.: Specifying and verifying requirements for election processes. In: Chun, S.A., Janssen, M., Gil-Garcia, J.R. (eds.) Proceedings of the 9th Annual International Conference on Digital Government Research, pp. 63–72. Digital Government Society of North America (2008)