{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T01:51:03Z","timestamp":1649209863899},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,6,1]],"date-time":"1996-06-01T00:00:00Z","timestamp":833587200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1007\/bf00419775","type":"journal-article","created":{"date-parts":[[2004,11,10]],"date-time":"2004-11-10T03:58:21Z","timestamp":1100059101000},"page":"117-125","source":"Crossref","is-referenced-by-count":2,"title":["Supporting software quality in an integrated safety-critical systems development environment"],"prefix":"10.1007","volume":"5","author":[{"given":"B.","family":"Lees","sequence":"first","affiliation":[]},{"given":"D. G.","family":"Jenkins","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Collins, S. Do deadly errors lurk in unproven software? Article in The European, 25th January 1996."},{"key":"CR2","volume-title":"IEE Colloquium Digest, Cognitive Artefacts in Design","author":"B. Lees","year":"1995","unstructured":"Lees, B. and Jenkins, D.G. Supporting traceability in conceptual design, IEE Colloquium Digest, Cognitive Artefacts in Design (Institution of Electrical Engineers, London, December 1995)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Elliott, J., Lovering, A. and Gerrard, C. Enhancing safety assurance using security concepts, in Achievement and Assurance of Safety (F. Redmill and T. Anderson, eds) (Springer-Verlag, 1995).","DOI":"10.1007\/978-1-4471-3003-1_7"},{"key":"CR4","unstructured":"Fenton, N. DATUM; dependability assessment of safety critical systems through the unification of measurable evidence, Safety Critical Systems Workshop, York, November 1994."},{"key":"CR5","unstructured":"Harper, C.J. and Winfield, A. A behaviour-based approach to the design of safety-critical systems, in Proceedings of IEE Colloquium: Knowledge-Based Systems for Safety-Critical Applications, London, May 1994."},{"key":"CR6","unstructured":"Tait, J.L. Building on HAZOP studies to produce knowledge-based systems, in Proceedings of IEE Colloquium: Knowledge-Based Systems for Safety-Critical Applications, London, May 1994."},{"key":"CR7","unstructured":"Fox, J. Expert systems for safety-critical applications: theory, technology and applications, in Proceedings of IEE Colloquium: Knowledge-Based Systems for Safety-Critical Applications, London, May 1994 (Hamza, M., Lees, B. and Irgens, C., eds)."},{"key":"CR8","unstructured":"Hesketh, J. and Robertson, D. Communication in safety cases: a semantic approach, in Proceedings of IEE Colloquium: Knowledge-Based Systems for Safety-Critical Applications, London, May, 1994."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1049\/cce:19940509","volume":"5","author":"W.J. Cuilyen","year":"1994","unstructured":"Cuilyen, W.J. and Storey, N. Tools and techniques for the testing of safety-critical software, Computing & Control Engineering Journal, 5 (1994) 239?244.","journal-title":"Computing & Control Engineering Journal"},{"key":"CR10","unstructured":"Jenkins, D.G. Capture, indexing and replay of design protocol using the overlay concept, in The Online Design Journal, ECSCW Workshop: Collaborative Editing and Version Control, July 1995."},{"key":"CR11","first-page":"1","volume-title":"DARPA Software Technology Conference Proceedings","author":"SEI","year":"1992","unstructured":"SEI. The capability maturity model for software, in DARPA Software Technology Conference Proceedings, Los Angeles, CA, April (DARPA, Washington DC, 1992) pp. 1?32."},{"key":"CR12","unstructured":"Dyke, A. A framework for capturing the software design process, in Proceedings of ECAI'94 Workshop: Models and Techniques for Reuse of Designs, Amsterdam, August 1994."},{"key":"CR13","unstructured":"Hamza, M., Lees, B. and Irgens, C. The extension of software metrics in object-oriented development, in Proceedings of SQM95: International Conference on Software Quality Management, Seville, April 1995."},{"key":"CR14","unstructured":"Jenkins, D.G. Supporting design reuse and design traceability in concurrent engineering, in Proceedings of the International Conference on Concurrent Engineering and Electronic Design Automation (CEEDA'96) pp 317?326."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J. A complexity measure, IEEE Transactions on Software Engineering, 2 (1976) 308?320.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Jenkins, D.G. Adapting a design history editor to deal with concurrent engineering, in Design Issues in Computer-Supported Cooperative Working (CSCW) (D. Rosenberg and C.S. Hutchison, eds.), Computer Supported Cooperative Working Series (Springer-Verlag, 1994).","DOI":"10.1007\/978-1-4471-2029-2_13"},{"key":"CR17","unstructured":"Shoham, Y. Agent-oriented programming. Technical Report STAN-CS-1335-90, Dept. Computer Science, Stanford University, 1990."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.J. and Jennings, N.R. Agent theories, architectures and languages: a survey, in Proceedings of ECAI'94 Workshop on Agent Theories, Architectures and Languages (ATAL94) (M. Wooldridge and N.R. Jennings eds) (SV Publishers, 1993) pp. 1?39.","DOI":"10.1007\/3-540-58855-8_1"},{"key":"CR19","unstructured":"Lees, B. and Irgens, C. Knowledge-based support for quality in engineering design, in Proceedings of the 11th International Conference on Expert Systems and their Applications, Avignon, May, 1991, pp. 257?266."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Kolodner, J. Case-Based Reasoning (Morgan Kaufmann, 1993).","DOI":"10.1016\/B978-1-55860-237-3.50005-4"},{"key":"CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-85163-6","volume-title":"Cooperative Work with Multimedia","author":"M.X. Crowe","year":"1994","unstructured":"Crowe, M.X.. Cooperative Work with Multimedia (Springer-Verlag, Berlin, 1994)."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00419775.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00419775\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00419775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T23:41:06Z","timestamp":1585957266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00419775"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["BF00419775"],"URL":"https:\/\/doi.org\/10.1007\/bf00419775","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}