-
1
-
-
0029707819
-
-
Anton, A., 1996. Goal-based requirements analysis. In: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE'96), pp. 136-144.
-
Anton, A., 1996. Goal-based requirements analysis. In: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE'96), pp. 136-144.
-
-
-
-
2
-
-
0031597160
-
-
Anton, A., Potts, C., 1998. The use of goals to surface requirements for evolving systems. In: Proceedings of the 20th International Conference on Software Engineering, pp. 157-166.
-
Anton, A., Potts, C., 1998. The use of goals to surface requirements for evolving systems. In: Proceedings of the 20th International Conference on Software Engineering, pp. 157-166.
-
-
-
-
3
-
-
0029267687
-
Fixed priority pre-emptive scheduling: an historical perspective
-
Audsley N., Burns A., Davis R., Tindell K., and Wellings A. Fixed priority pre-emptive scheduling: an historical perspective. Real-Time Systems 8 2-3 (1995) 173-198
-
(1995)
Real-Time Systems
, vol.8
, Issue.2-3
, pp. 173-198
-
-
Audsley, N.1
Burns, A.2
Davis, R.3
Tindell, K.4
Wellings, A.5
-
4
-
-
50049096134
-
-
Axelsson, J., 1996. Three search strategies for architecture synthesis and partitioning of real-time systems. Technical Report R-96-32, Department of Computer and Information Science, Linkoping University.
-
Axelsson, J., 1996. Three search strategies for architecture synthesis and partitioning of real-time systems. Technical Report R-96-32, Department of Computer and Information Science, Linkoping University.
-
-
-
-
5
-
-
0004025223
-
-
Addison-Wesley, Reading, MA
-
Bass L., Clements P., and Kazman R. Software Architecture in Practice (2003), Addison-Wesley, Reading, MA
-
(2003)
Software Architecture in Practice
-
-
Bass, L.1
Clements, P.2
Kazman, R.3
-
6
-
-
2942524142
-
-
Bate, I., Audsley, N., 2004. Flexible design of complex high-integrity systems using trade offs. In: Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering, pp. 22-31.
-
Bate, I., Audsley, N., 2004. Flexible design of complex high-integrity systems using trade offs. In: Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering, pp. 22-31.
-
-
-
-
7
-
-
0037667707
-
An integrated approach to scheduling in safety-critical embedded control systems
-
Bate I., and Burns A. An integrated approach to scheduling in safety-critical embedded control systems. Real-Time Systems Journal 25 1 (2003) 5-37
-
(2003)
Real-Time Systems Journal
, vol.25
, Issue.1
, pp. 5-37
-
-
Bate, I.1
Burns, A.2
-
8
-
-
33751528826
-
-
Bate, I., Emberson, P., 2005. Design for flexible and scalable avionics systems. In: Proceedings of the IEEE Aerospace Conference, No. 9.0101.
-
Bate, I., Emberson, P., 2005. Design for flexible and scalable avionics systems. In: Proceedings of the IEEE Aerospace Conference, No. 9.0101.
-
-
-
-
9
-
-
84884403064
-
-
Bate, I., Emberson, P., 2006. Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 221-230.
-
Bate, I., Emberson, P., 2006. Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 221-230.
-
-
-
-
10
-
-
33746666483
-
-
Bate, I., Kelly, T., 2002. Architectural considerations in the certification of modular systems. In: Proceedings of the Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002, volume LNCS 2434, pp. 321-333.
-
Bate, I., Kelly, T., 2002. Architectural considerations in the certification of modular systems. In: Proceedings of the Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002, volume LNCS 2434, pp. 321-333.
-
-
-
-
11
-
-
0043131953
-
Architectural considerations in the certification of modular systems
-
Bate I., and Kelly T. Architectural considerations in the certification of modular systems. Reliability Engineering and System Safety 81 (2003) 303-324
-
(2003)
Reliability Engineering and System Safety
, vol.81
, pp. 303-324
-
-
Bate, I.1
Kelly, T.2
-
12
-
-
0038218326
-
Establishing timing requirements for control loops in real-time systems
-
Bate I., McDermid J., and Nightingale P. Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27 4 (2003) 159-169
-
(2003)
Microprocessors and Microsystems
, vol.27
, Issue.4
, pp. 159-169
-
-
Bate, I.1
McDermid, J.2
Nightingale, P.3
-
13
-
-
2942540084
-
-
Bate, I., Cervin, A., Nightingale, P., 2003. Establishing timing requirements and control attributes for control loops in real-time systems. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems, pp. 121-128.
-
Bate, I., Cervin, A., Nightingale, P., 2003. Establishing timing requirements and control attributes for control loops in real-time systems. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems, pp. 121-128.
-
-
-
-
14
-
-
0033719421
-
-
Brooks, D., Tiwari, V., Martonosi, M., 2000. Wattch: a framework for architectural-level power analysis and optimizations. In: Proceedings of the 27th International Symposium on Computer Architecture (ISCA), pp. 83-94.
-
Brooks, D., Tiwari, V., Martonosi, M., 2000. Wattch: a framework for architectural-level power analysis and optimizations. In: Proceedings of the 27th International Symposium on Computer Architecture (ISCA), pp. 83-94.
-
-
-
-
16
-
-
50049093968
-
-
CENELEC. IEC 61508 Functional Safety of electrical/electronic/programmable electronic safety-related systems, 2001.
-
CENELEC. IEC 61508 Functional Safety of electrical/electronic/programmable electronic safety-related systems, 2001.
-
-
-
-
17
-
-
0003696305
-
-
Kluwer Academic Publishers, Dordrecht
-
Chung L., Nixon B., Yu E., and Mylopoulos J. Non-functional Requirements in Software Engineering (1999), Kluwer Academic Publishers, Dordrecht
-
(1999)
Non-functional Requirements in Software Engineering
-
-
Chung, L.1
Nixon, B.2
Yu, E.3
Mylopoulos, J.4
-
18
-
-
85133775397
-
A comprehensive survey of evolutionary-based multiobjective optimization techniques
-
Coello Coello C. A comprehensive survey of evolutionary-based multiobjective optimization techniques. Knowledge and Information Systems 1 3 (1999) 129-156
-
(1999)
Knowledge and Information Systems
, vol.1
, Issue.3
, pp. 129-156
-
-
Coello Coello, C.1
-
20
-
-
50049085498
-
-
Fohler, G., Koza, C., 1989. Heuristic scheduling for distributed real-time systems. Technical Report No. 6, Institut fur Technische Informatik, Technische Universtate Wien, Austria.
-
Fohler, G., Koza, C., 1989. Heuristic scheduling for distributed real-time systems. Technical Report No. 6, Institut fur Technische Informatik, Technische Universtate Wien, Austria.
-
-
-
-
22
-
-
0028166456
-
-
Kazman, R., Bass, L., Webb, M., Abowd, G., 1994. SAAM: A method for analyzing the properties of software architectures. In: International Conference on Software Engineering, pp. 81-90.
-
Kazman, R., Bass, L., Webb, M., Abowd, G., 1994. SAAM: A method for analyzing the properties of software architectures. In: International Conference on Software Engineering, pp. 81-90.
-
-
-
-
24
-
-
50049090578
-
-
Kelly, T., 1999. Arguing Safety - A Systematic Approach to Safety Case Management. Ph.D. Thesis, Department of Computer Science, University of York.
-
Kelly, T., 1999. Arguing Safety - A Systematic Approach to Safety Case Management. Ph.D. Thesis, Department of Computer Science, University of York.
-
-
-
-
25
-
-
0020831848
-
Quality function deployment and cwqc in japan
-
Kogure M., and Akao Y. Quality function deployment and cwqc in japan. Quality Progress (1993) 25-29
-
(1993)
Quality Progress
, pp. 25-29
-
-
Kogure, M.1
Akao, Y.2
-
26
-
-
0026239411
-
-
Lee, J., 1991. Extending the potts and bruns model for recording design rationale. In: Proceedings of the 13th International Conference on Software Engineering, pp. 114-125.
-
Lee, J., 1991. Extending the potts and bruns model for recording design rationale. In: Proceedings of the 13th International Conference on Software Engineering, pp. 114-125.
-
-
-
-
27
-
-
50049106428
-
-
McDermid, J., 2001. Software safety: Where's the evidence? In: Proceedings of the Sixth Australian Workshop on Industrial Experience with Safety Critical Systems and Software, vol. 3 of Conferences in Research and Practice in Information Technology Series, pp. 1-6.
-
McDermid, J., 2001. Software safety: Where's the evidence? In: Proceedings of the Sixth Australian Workshop on Industrial Experience with Safety Critical Systems and Software, vol. 3 of Conferences in Research and Practice in Information Technology Series, pp. 1-6.
-
-
-
-
28
-
-
0037587289
-
-
Moore, M., Kazman, R., Klein, M., Asundi, J., 2003. Quantifying the value of architecture design decisions: Lessons from the field. In: Proceedings of the 25th International Conference on Software Engineering (ICSE 25).
-
Moore, M., Kazman, R., Klein, M., Asundi, J., 2003. Quantifying the value of architecture design decisions: Lessons from the field. In: Proceedings of the 25th International Conference on Software Engineering (ICSE 25).
-
-
-
-
29
-
-
0026883734
-
Representing and using nonfunctional requirements: a process-oriented approach
-
Mylopoulos J., Chung L., and Nixon B. Representing and using nonfunctional requirements: a process-oriented approach. IEEE Transactions on Software Engineering 18 6 (1992) 483-497
-
(1992)
IEEE Transactions on Software Engineering
, vol.18
, Issue.6
, pp. 483-497
-
-
Mylopoulos, J.1
Chung, L.2
Nixon, B.3
-
30
-
-
50049135186
-
-
Nicholson, M., 1998. Selecting a topology for safety-critical real-time control systems. DPhil Thesis, Department of Computer Science, University of York, YCST-98-08.
-
Nicholson, M., 1998. Selecting a topology for safety-critical real-time control systems. DPhil Thesis, Department of Computer Science, University of York, YCST-98-08.
-
-
-
-
31
-
-
50049119386
-
-
Nord, R., Barbacci, M., Clements, P., Kazman, R., Klein, M., O'Brien, L., Tomayko, J., 2003. Integrating the Architecture Tradeoff Analysis Method (ATAM) with the Cost Benefit Analysis Method (CBAM). Technical Report CMU/SEI-2003-TN-038, Software Engineering Institute.
-
Nord, R., Barbacci, M., Clements, P., Kazman, R., Klein, M., O'Brien, L., Tomayko, J., 2003. Integrating the Architecture Tradeoff Analysis Method (ATAM) with the Cost Benefit Analysis Method (CBAM). Technical Report CMU/SEI-2003-TN-038, Software Engineering Institute.
-
-
-
-
32
-
-
0003810067
-
-
Rayward-Smith V., Osman I., Reeves C., and Smith G. (Eds), Wiley, New York
-
In: Rayward-Smith V., Osman I., Reeves C., and Smith G. (Eds). Modern Heuristic Search Methods (1996), Wiley, New York
-
(1996)
Modern Heuristic Search Methods
-
-
-
33
-
-
0024031604
-
The TAME project: Towards improvement-oriented software environments
-
Rombach H., and Basili V. The TAME project: Towards improvement-oriented software environments. IEEE Transactions on Software Engineering 14 6 (1988) 758-773
-
(1988)
IEEE Transactions on Software Engineering
, vol.14
, Issue.6
, pp. 758-773
-
-
Rombach, H.1
Basili, V.2
-
34
-
-
50049100909
-
-
RTCA Inc. Software considerations in airborne systems and equipment certification. DO-178B/ED-12B, December 1992.
-
RTCA Inc. Software considerations in airborne systems and equipment certification. DO-178B/ED-12B, December 1992.
-
-
-
-
36
-
-
0032074273
-
Fundamentals of implementing real-time control applications in distributed computer systems
-
Torngren M. Fundamentals of implementing real-time control applications in distributed computer systems. Real-Time Systems 14 3 (1998) 219-250
-
(1998)
Real-Time Systems
, vol.14
, Issue.3
, pp. 219-250
-
-
Torngren, M.1
-
37
-
-
50049101182
-
-
United Kingdom Ministry of Defence. Defence Standard 00-55: Requirements for Safety-Related Software in Defence Equipment, July 1996.
-
United Kingdom Ministry of Defence. Defence Standard 00-55: Requirements for Safety-Related Software in Defence Equipment, July 1996.
-
-
-
-
38
-
-
50049098844
-
-
United Kingdom Ministry of Defence. Defence Standard 00-56 (Issue 2): Safety Management Requirements for Defence Systems, December 1996.
-
United Kingdom Ministry of Defence. Defence Standard 00-56 (Issue 2): Safety Management Requirements for Defence Systems, December 1996.
-
-
-
-
39
-
-
50049121312
-
-
United Kingdom Ministry of Defence. Defence Standard 00-56 (Issue 3): Safety Management Requirements for Defence Systems, December 2004.
-
United Kingdom Ministry of Defence. Defence Standard 00-56 (Issue 3): Safety Management Requirements for Defence Systems, December 2004.
-
-
-
-
40
-
-
0003920820
-
Reliability, Availability, Maintainability, and Safety Assessment
-
Wiley, New York
-
Villmeur A. Reliability, Availability, Maintainability, and Safety Assessment. Methods and Techniques vol. 1 (1992), Wiley, New York
-
(1992)
Methods and Techniques
, vol.1
-
-
Villmeur, A.1
|