-
1
-
-
84863614035
-
The application of interoperability requirement specification and verification to collaborative process in industry
-
Mallek, S., Daclin, N., Chapurlat, V.: The application of interoperability requirement specification and verification to collaborative process in industry. Computers in Industry 63, 643–658 (2002)
-
(2002)
Computers in Industry
, vol.63
, pp. 643-658
-
-
Mallek, S.1
Daclin, N.2
Chapurlat, V.3
-
7
-
-
84988965495
-
-
1st edn, The Institution of Engineering and Technology, London
-
Holt, J., Perry, S., Brownsword, M.: Model-Based Requirement Engineering, 1st edn., p. 340. The Institution of Engineering and Technology, London (2011)
-
(2011)
Model-Based Requirement Engineering
-
-
Holt, J.1
Perry, S.2
Brownsword, M.3
-
9
-
-
84857366776
-
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
-
Colombo, P., Khendek, F., Lavazza, L.: Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. Journal of Systems and Software 85(3), 717–745 (2012)
-
(2012)
Journal of Systems and Software
, vol.85
, Issue.3
, pp. 717-745
-
-
Colombo, P.1
Khendek, F.2
Lavazza, L.3
-
10
-
-
84897008026
-
System of Systems Requirements Capacity Allocation
-
Flanigan, D., Brouse, P.: System of Systems Requirements Capacity Allocation. Procedia Computer Science 8, 112–117 (2012)
-
(2012)
Procedia Computer Science
, vol.8
, pp. 112-117
-
-
Flanigan, D.1
Brouse, P.2
-
12
-
-
0037208757
-
Knowledge based requirement engineering for one-of-a-kind complex systems
-
Ratchev, S., Urwin, E., Muller, D., Pawar, K.S., Moulek, L.: Knowledge based requirement engineering for one-of-a-kind complex systems. Knowledge-Based Systems 16(1), 1–5 (2003)
-
(2003)
Knowledge-Based Systems
, vol.16
, Issue.1
, pp. 1-5
-
-
Ratchev, S.1
Urwin, E.2
Muller, D.3
Pawar, K.S.4
Moulek, L.5
-
13
-
-
84860279344
-
Requirements management within a full model-based engineering approach
-
Bernard, Y.: Requirements management within a full model-based engineering approach. Systems Engineering 15, 119–139 (2012)
-
(2012)
Systems Engineering
, vol.15
, pp. 119-139
-
-
Bernard, Y.1
-
14
-
-
45849085025
-
From domain to requirements
-
In: Degano, P., De Nicola, R., Meseguer, J. (eds.), Springer, Heidelberg
-
Bjørner, D.: From domain to requirements. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Montanari Festschrift. LNCS, vol. 5065, pp. 278–300. Springer, Heidelberg (2008)
-
(2008)
Montanari Festschrift. LNCS
, vol.5065
, pp. 278-300
-
-
Bjørner, D.1
-
15
-
-
84910146469
-
A Design Framework for Model-Based Development of Complex Systems
-
Vienna
-
Moneva, H., Hamberg, R., Punter, T.: A Design Framework for Model-Based Development of Complex Systems. In: 32nd IEEE Real-Time Systems Symposium and 2nd Analytical Virtual Integration of Cyber-Physical Systems Workshop, Vienna, pp. 1–8 (2011)
-
(2011)
32Nd IEEE Real-Time Systems Symposium and 2Nd Analytical Virtual Integration of Cyber-Physical Systems Workshop,
, pp. 1-8
-
-
Moneva, H.1
Hamberg, R.2
Punter, T.3
-
16
-
-
84856083160
-
A knowledge based component/service repository to enhance analysts’ domain knowledge for requirements analysis
-
Vitharana, P., Jain, H., Zahedi, F.M.: A knowledge based component/service repository to enhance analysts’ domain knowledge for requirements analysis. Information & Management 49(1), 24–35 (2012)
-
(2012)
Information &Amp; Management
, vol.49
, Issue.1
, pp. 24-35
-
-
Vitharana, P.1
Jain, H.2
Zahedi, F.M.3
-
17
-
-
0242269845
-
Information sharing in multiviewpoint injection moulding design and manufacturing
-
Canciglieri Jr., O., Young, R.I.M.: Information sharing in multiviewpoint injection moulding design and manufacturing. International Journal of Production Research 41(7), 1565–1586 (2003)
-
(2003)
International Journal of Production Research
, vol.41
, Issue.7
, pp. 1565-1586
-
-
Canciglieri, O.1
Young, R.2
-
18
-
-
33344465743
-
Model-Driven Engineering
-
Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2), 25–31 (2006)
-
(2006)
IEEE Computer
, vol.39
, Issue.2
, pp. 25-31
-
-
Schmidt, D.C.1
-
19
-
-
84864781604
-
Domain model-driven software engineering: A method for discovery of dependency links
-
Strasunskas, D., Hakkarainen, S.E.: Domain model-driven software engineering: A method for discovery of dependency links. Information and Software Technology 54(11), 1239–1249 (2012)
-
(2012)
Information and Software Technology
, vol.54
, Issue.11
, pp. 1239-1249
-
-
Strasunskas, D.1
Hakkarainen, S.E.2
-
20
-
-
84897985353
-
Requirements for High Level Models Supporting Design Space Exploration in Model-based Systems Engineering
-
Haveman, S.P., Bonnema, G.M.: Requirements for High Level Models Supporting Design Space Exploration in Model-based Systems Engineering. Procedia Computer Science 16, 293–302 (2013)
-
(2013)
Procedia Computer Science
, vol.16
, pp. 293-302
-
-
Haveman, S.P.1
Bonnema, G.M.2
-
21
-
-
84908118240
-
A model-based design methodology for the development of mechatronic systems
-
press
-
Barbieri, G., Fantuzzi, C., Borsari, R.: A model-based design methodology for the development of mechatronic systems. Mechatronics (in press, 2014)
-
(2014)
Mechatronics
-
-
Barbieri, G.1
Fantuzzi, C.2
Borsari, R.3
-
23
-
-
84898768497
-
A Literature Survey on International Standards for Systems Requirements Engineering
-
Schneider, F., Berenbach, B.: A Literature Survey on International Standards for Systems Requirements Engineering. Procedia Computer Science 16, 796–805 (2013)
-
(2013)
Procedia Computer Science
, vol.16
, pp. 796-805
-
-
Schneider, F.1
Berenbach, B.2
-
24
-
-
84910114765
-
Systems and software engineering
-
International Organization for Standardization: ISO/IEC/IEEE 29148:2008
-
International Organization for Standardization: ISO/IEC/IEEE 29148:2008 – Systems and software engineering – Life cycle processes and Requirement Engineering (2011)
-
(2011)
Life Cycle Processes and Requirement Engineering
-
-
-
25
-
-
85037548500
-
Systems and software engineering
-
International Organization for Standardization: ISO/IEC/IEEE 15288:2002, ISO/IEC
-
International Organization for Standardization: ISO/IEC/IEEE 15288:2002 – Systems and software engineering – System life cycle processes, ISO/IEC (2002)
-
(2002)
System Life Cycle Processes
-
-
-
26
-
-
84885703690
-
Through-Life Systems Engineering Design & Support with SysML
-
Chandler, S.R., Matthews, P.C.: Through-Life Systems Engineering Design & Support with SysML. Procedia CIRP 11, 425–430 (2013)
-
(2013)
Procedia CIRP
, vol.11
, pp. 425-430
-
-
Chandler, S.R.1
Matthews, P.C.2
-
28
-
-
84910130505
-
Systems and software engineering
-
International Organization for Standardization: ISO/IEC TR 24748:2010, ISO/IEC
-
International Organization for Standardization: ISO/IEC TR 24748:2010 – Systems and software engineering – Life cycle management – Part 1: Guide for life cycle management, ISO/IEC (2011)
-
(2011)
Life Cycle Management – Part 1: Guide for Life Cycle Management
-
-
-
29
-
-
84898712341
-
System Engineering Management Based on a Discipline-Spanning System Model
-
Gausemeier, J., Gaukstern, T., Tschirner, C.: System Engineering Management Based on a Discipline-Spanning System Model. Procedia Computer Science 16, 303–312 (2013)
-
(2013)
Procedia Computer Science
, vol.16
, pp. 303-312
-
-
Gausemeier, J.1
Gaukstern, T.2
Tschirner, C.3
-
30
-
-
84890092427
-
Virtual Verification of System Designs against System Requirements
-
Schamai, W., Helle, P., Fritzson, P., Paredis, C.J.J.: Virtual Verification of System Designs against System Requirements. In: Models 2010 ACES-MB Workshop Proceedings, vol. 1, pp. 53–67 (2010)
-
(2010)
Models 2010 ACES-MB Workshop Proceedings
, vol.1
, pp. 53-67
-
-
Schamai, W.1
Helle, P.2
Fritzson, P.3
Paredis, C.4
-
31
-
-
84910136520
-
Formalization of Semantic Annotation for System Interoperability in a PLM environment
-
Rome
-
Liao, Y., Lezoche, M., Loures, E.F.R., Panetto, H., Boudjlida, N.: Formalization of Semantic Annotation for System Interoperability in a PLM environment. In: Proceeding of OTM Federated conferences and workshops and 2nd Workshop on Industrial and Business Application of Semantic Web Technologies (INBAST), Rome, vol. (1), pp. 1–7 (2002)
-
(2002)
Proceeding of OTM Federated Conferences and Workshops and 2Nd Workshop on Industrial and Business Application of Semantic Web Technologies (INBAST),
, vol.1
, pp. 1-7
-
-
Liao, Y.1
Lezoche, M.2
Loures, E.3
Panetto, H.4
Boudjlida, N.5
-
32
-
-
84876037681
-
A model-driven ontology approach for manufacturing system interoperability and knowledge sharing
-
Chungoora, N., Young, R.I., Gunendran, G., Palmer, C., Usman, Z., Anjum, N.A., Cutting- Decelle, A.F., Harding, J.A., Case, K.: A model-driven ontology approach for manufacturing system interoperability and knowledge sharing. Computers in Industry 64(4), 392–401 (2013)
-
(2013)
Computers in Industry
, vol.64
, Issue.4
, pp. 392-401
-
-
Chungoora, N.1
Young, R.I.2
Gunendran, G.3
Palmer, C.4
Usman, Z.5
Anjum, N.A.6
Cutting-Decelle, A.F.7
Harding, J.A.8
Case, K.9
-
34
-
-
3743125916
-
The three Dimensions of Requirements Engineering: A framework and its applications
-
Pohl, K.: The three Dimensions of Requirements Engineering: A framework and its applications. Informatic Systems 19(3), 243–258 (1994)
-
(1994)
Informatic Systems
, vol.19
, Issue.3
, pp. 243-258
-
-
Pohl, K.1
-
36
-
-
84948989830
-
Automating speculative queries through event-based requirements traceability
-
Cleland-Huang, J., Chang, C.K., Sethi, G., Javvaji, K., Haijian, H., Jinchun, X.: Automating speculative queries through event-based requirements traceability. In: Proceedings of IEEE Joint International Conference on Requirements Engineering, pp. 289–296 (2002)
-
(2002)
Proceedings of IEEE Joint International Conference on Requirements Engineering,
, pp. 289-296
-
-
Cleland-Huang, J.1
Chang, C.K.2
Sethi, G.3
Javvaji, K.4
Haijian, H.5
Jinchun, X.6
-
37
-
-
2342463611
-
Rule-based generation of requirements traceability relations
-
Spanoudakis, G., Zisman, A., Pérez-Miñana, E., Krause, P.: Rule-based generation of requirements traceability relations. Journal of Systems and Software 72(2), 105–127 (2004)
-
(2004)
Journal of Systems and Software
, vol.72
, Issue.2
, pp. 105-127
-
-
Spanoudakis, G.1
Zisman, A.2
Pérez-Miñana, E.3
Krause, P.4
-
38
-
-
68749104892
-
Requirements tracing to support change in dynamically adaptive systems
-
In: Glinz, M., Heymans, P. (eds.), Springer, Heidelberg
-
Welsh, K., Sawyer, P.: Requirements tracing to support change in dynamically adaptive systems. In: Glinz, M., Heymans, P. (eds.) REFSQ 2009 Amsterdam. LNCS, vol. 5512, pp. 59–73. Springer, Heidelberg (2009)
-
(2009)
REFSQ 2009 Amsterdam. LNCS
, vol.5512
, pp. 59-73
-
-
Welsh, K.1
Sawyer, P.2
-
39
-
-
84910108256
-
-
CESAR Project 1
-
Cmyrev, A., Noerenberg, R., Hopp, D., Reissing, R.: Consistency Checking of Feature Mapping between Requirements and Test Artefacts. CESAR Project 1, 1–12 (2012)
-
(2012)
Consistency Checking of Feature Mapping between Requirements and Test Artefacts
, pp. 1-12
-
-
Cmyrev, A.1
Noerenberg, R.2
Hopp, D.3
Reissing, R.4
-
40
-
-
84910121382
-
Interoperable Requirements Engineering: Tool Independent Specification, Validation and Impact Analysis
-
Nuremberg
-
Oertel, M., Josko, B.: Interoperable Requirements Engineering: Tool Independent Specification, Validation and Impact Analysis. In: Embedded World 2012 Exhibition and Conference, pp. 3–7. Nuremberg (2012)
-
(2012)
Embedded World 2012 Exhibition and Conference
, pp. 3-7
-
-
Oertel, M.1
Josko, B.2
-
41
-
-
84866094465
-
Revisiting the interoperation relationships between System Engineering collaborative processes
-
INCOM 2012, Romania
-
Bouffaron, F., Gouyon, D., Dobre, D., Morel, G.: Revisiting the interoperation relationships between System Engineering collaborative processes. In: 14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2012, Romania, pp. 1–6 (2012)
-
(2012)
14Th IFAC Symposium on Information Control Problems in Manufacturing
, pp. 1-6
-
-
Bouffaron, F.1
Gouyon, D.2
Dobre, D.3
Morel, G.4
-
42
-
-
84896940325
-
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling
-
Ahmad, M., Bruel, J.M., Laleau, R., Gnaho, C.: Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. Procedia Computer Science 10, 474–481 (2012)
-
(2012)
Procedia Computer Science
, vol.10
, pp. 474-481
-
-
Ahmad, M.1
Bruel, J.M.2
Laleau, R.3
Gnaho, C.4
-
43
-
-
53949099177
-
Modelling functional requirements to support traceability analysis
-
Kececi, N., Garbajosa, J., Bourque, P.: Modelling functional requirements to support traceability analysis. In: IEEE International Symposium on Industrial Electronics, vol. 4, pp. 3305–3310 (2006)
-
(2006)
IEEE International Symposium on Industrial Electronics
, vol.4
, pp. 3305-3310
-
-
Kececi, N.1
Garbajosa, J.2
Bourque, P.3
|