-
1
-
-
84976854012
-
Conjoining specifications
-
10.1145/203095.201069 http://doi.acm.org/10.1145/203095.201069
-
M. Abadi L. Lamport 1995 Conjoining specifications ACM Trans. Program. Lang. Syst. 17 3 507 535 10.1145/203095.201069 http://doi.acm.org/10.1145/ 203095.201069
-
(1995)
ACM Trans. Program. Lang. Syst.
, vol.17
, Issue.3
, pp. 507-535
-
-
Abadi, M.1
Lamport, L.2
-
2
-
-
33644675562
-
Compositional analysis for verification of parameterized systems
-
DOI 10.1016/j.tcs.2005.11.016, PII S0304397505008649, Tool and Algorithms for the Construction and Analysis of Systems (TACAS 2003)
-
S. Basu C.R. Ramakrishnan 2006 Compositional analysis for verification of parameterized systems Theor. Comput. Sci. 354 2 211 229 10.1016/j.tcs.2005.11. 016 1088.68100 10.1016/j.tcs.2005.11.016 2209599 (Pubitemid 43333208)
-
(2006)
Theoretical Computer Science
, vol.354
, Issue.2
, pp. 211-229
-
-
Basu, S.1
Ramakrishnan, C.R.2
-
3
-
-
33751579774
-
Automated analysis of feature models: Challenges ahead
-
DOI 10.1145/1183236.1183264
-
D. Batory D. Benavides A. Ruiz-Cortes 2006 Automated analysis of feature models: challenges ahead Commun. ACM 49 12 45 47 10.1145/1183236.1183264 http://doi.acm.org/10.1145/1183236.1183264 (Pubitemid 44841898)
-
(2006)
Communications of the ACM
, vol.49
, Issue.12
, pp. 1183264
-
-
Batory, D.1
Benavides, D.2
Ruiz-Cortes, A.3
-
4
-
-
84949196273
-
Compositional reasoning in model checking
-
Springer Berlin
-
Berezin, S., Campos, S., Clarke, E.M.: Compositional reasoning in model checking. In: Proc. COMPOS, pp. 81-102. Springer, Berlin (1998)
-
(1998)
Proc. COMPOS
, pp. 81-102
-
-
Berezin, S.1
Campos, S.2
Clarke, E.M.3
-
5
-
-
79951551136
-
-
Department of Computer Science, Brown University
-
Blundell, C., Fisler, K., Krishnamurthi, S., Hentenryck, P.V.: A constraint-based approach to open feature verification. Tech. Rep. CS-03-07, Department of Computer Science, Brown University (2003)
-
(2003)
A Constraint-based Approach to Open Feature Verification. Tech. Rep. CS-03-07
-
-
Blundell, C.1
Fisler, K.2
Krishnamurthi, S.3
Hentenryck, P.V.4
-
6
-
-
15844377109
-
Parameterized interfaces for open system verification of product lines
-
Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004
-
C. Blundell K. Fisler S. Krishnamurthi P.V. Hentenryck 2004 Parameterized interfaces for open system verification of product lines ASE '04: Proceedings of the 19th IEEE International Conference on Automated Software Engineering IEEE Comput. Soc. Washington 258 267 10.1109/ASE.2004.53 Blundell, C., Fisler, K., Krishnamurthi, S., Hentenryck, P.V.: Parameterized interfaces for open system verification of product lines. In: ASE '04: Proceedings of the 19th IEEE International Conference on Automated Software Engineering, pp. 258-267. IEEE Comput. Soc., Washington (2004). 10.1109/ASE.2004.53 (Pubitemid 40423550)
-
(2004)
Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004
, pp. 258-267
-
-
Blundell, C.1
Fisler, K.2
Krishnamurthi, S.3
Van Hentenryck, P.4
-
8
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic
-
DOI 10.1145/5397.5399
-
E.M. Clarke E.A. Emerson A.P. Sistla 1986 Automatic verification of finite-state concurrent systems using temporal logic specifications ACM Trans. Program. Lang. Syst. 8 2 244 263 0591.68027 10.1145/5397.5399 (Pubitemid 16633197)
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
9
-
-
0024943291
-
Compositional model checking
-
Clarke, E.M., Long, D.E., McMillan, K.L.: Compositional model checking. In: LICS, pp. 353-362 (1989) (Pubitemid 20617544)
-
(1989)
Proc Fourth Ann Symp Logic Comput Sci
, pp. 353-362
-
-
Clarke, E.M.1
Long, D.E.2
McMillan, K.L.3
-
10
-
-
77954715140
-
Model checking lots of systems: Efficient verification of temporal properties in software product lines
-
ACM New York. 10.1145/1806799.1806850 http://doi.acm.org/10.1145/1806799. 1806850 Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, pp. 335-344. ACM, New York (2010)
-
A. Classen P. Heymans P.Y. Schobbens A. Legay J.F. Raskin 2010 Model checking lots of systems: efficient verification of temporal properties in software product lines ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering ACM New York 335 344 10.1145/1806799.1806850 http://doi.acm.org/10.1145/1806799.1806850 Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, pp. 335-344. ACM, New York (2010). http://doi.acm.org/10.1145/ 1806799.1806850
-
(2010)
ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
, pp. 335-344
-
-
Classen, A.1
Heymans, P.2
Schobbens, P.Y.3
Legay, A.4
Raskin, J.F.5
-
11
-
-
0025494721
-
Tableau-based model checking in the propositional mu-calculus
-
0676.03033 10.1007/BF00264284 1080580 citeseer.ist.psu.edu/61863.html
-
R. Cleaveland 1990 Tableau-based model checking in the propositional mu-calculus Acta Inform. 27 8 725 748 0676.03033 10.1007/BF00264284 1080580 citeseer.ist.psu.edu/61863.html
-
(1990)
Acta Inform.
, vol.27
, Issue.8
, pp. 725-748
-
-
Cleaveland, R.1
-
13
-
-
57149129110
-
A behavioural model for product families
-
DOI 10.1145/1295014.1295031, ESEC/FSE'07: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - Companion Papers
-
A. Fantechi S. Gnesi 2007 A behavioural model for product families ESEC-FSE '07: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ACM New York 521 524 10.1145/1287624.1287700 http://doi.acm.org/10.1145/1287624.1287700 Fantechi, A., Gnesi, S.: A behavioural model for product families. In: ESEC-FSE '07: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 521-524. ACM, New York (2007). http://doi.acm.org/10.1145/1287624.1287700 (Pubitemid 351438711)
-
(2007)
ESEC/FSE'07: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - Companion Papers
, pp. 521-524
-
-
Fantechi, A.1
Gnesi, S.2
-
14
-
-
34247370256
-
A foundation for behavioural conformance in software product line architectures
-
DOI 10.1145/1147249.1147254, Proceedings of the ISSTA 2006 workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06
-
D. Fischbein S. Uchitel V. Braberman 2006 A foundation for behavioural conformance in software product line architectures ROSATEA '06: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis ACM New York 39 48 10.1145/1147249.1147254 http://doi.acm.org/10.1145/ 1147249.1147254 Fischbein, D., Uchitel, S., Braberman, V.: A foundation for behavioural conformance in software product line architectures. In: ROSATEA '06: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, pp. 39-48. ACM, New York (2006). http://doi.acm.org/10. 1145/1147249.1147254 (Pubitemid 46645439)
-
(2006)
Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, ROSATEA '06
, vol.2006
, pp. 39-48
-
-
Fischbein, D.1
Uchitel, S.2
Braberman, V.3
-
15
-
-
0035783999
-
Modular verification of collaboration-based software designs
-
K. Fisler S. Krishnamurthi 2001 Modular verification of collaboration-based software designs ESEC/FSE-9: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering ACM New York 152 163 10.1145/503209.503231 http://doi.acm.org/10.1145/503209.503231 Fisler, K., Krishnamurthi, S.: Modular verification of collaboration-based software designs. In: ESEC/FSE-9: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 152-163. ACM, New York (2001). http://doi.acm.org/10. 1145/503209.503231 (Pubitemid 35466920)
-
(2001)
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
, pp. 152-163
-
-
Fisler, K.1
Krishnamurthi, S.2
-
17
-
-
37149051046
-
Refining interface alphabets for compositional verification
-
Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007
-
Gheorghiu, M., Giannakopoulou, D., Pasareanu, C.S.: Refining interface alphabets for compositional verification. In: TACAS, pp. 292-307 (2007) (Pubitemid 350259301)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4424 LNCS
, pp. 292-307
-
-
Gheorghiu, M.1
Giannakopoulou, D.2
Pasareanu, C.S.3
-
18
-
-
84982958661
-
Assumption generation for software component verification
-
IEEE Comput. Soc. Washington. 10.1109/ASE.2002.1114984
-
Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Assumption generation for software component verification. In: ASE '02: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, pp. 3-12. IEEE Comput. Soc., Washington (2002)
-
(2002)
ASE '02: Proceedings of the 17th IEEE International Conference on Automated Software Engineering
, pp. 3-12
-
-
Giannakopoulou, D.1
Pasareanu, C.S.2
Barringer, H.3
-
19
-
-
46049110753
-
Modeling and model checking software product lines
-
Springer Berlin. 10.1007/978-3-540-68863-1-8 Gruler, A., Leucker, M., Scheidemann, K.: Modeling and model checking software product lines. In: FMOODS '08: Proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, pp. 113-131. Springer, Berlin (2008). 10.1007/978-3-540-68863-1-8
-
A. Gruler M. Leucker K. Scheidemann 2008 Modeling and model checking software product lines FMOODS '08: Proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems Springer Berlin 113 131 10.1007/978-3-540-68863-1-8 10.1007/978-3-540- 68863-1-8 Gruler, A., Leucker, M., Scheidemann, K.: Modeling and model checking software product lines. In: FMOODS '08: Proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, pp. 113-131. Springer, Berlin (2008). 10.1007/978-3-540-68863-1-8
-
(2008)
FMOODS '08: Proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems
, pp. 113-131
-
-
Gruler, A.1
Leucker, M.2
Scheidemann, K.3
-
20
-
-
0006786379
-
Feature interactions in electronic mail
-
IOS Press Amsterdam
-
Hall, R.: Feature interactions in electronic mail. In: Feature Interactions in Telecommunications Systems, pp. 67-82. IOS Press, Amsterdam (2000)
-
(2000)
Feature Interactions in Telecommunications Systems
, pp. 67-82
-
-
Hall, R.1
-
21
-
-
0035417837
-
Formal analysis of a space-craft controller using SPIN
-
citeseer.ist.psu.edu/havelund98formal.html
-
K. Havelund M.R. Lowry J. Penix 2001 Formal analysis of a space-craft controller using SPIN Softw. Eng. 27 8 1000 9999 citeseer.ist.psu.edu/ havelund98formal.html
-
(2001)
Softw. Eng.
, vol.27
, Issue.8
, pp. 1000-9999
-
-
Havelund, K.1
Lowry, M.R.2
Penix, J.3
-
22
-
-
0003524414
-
-
2 Cambridge University Press Cambridge 1073.68001 http://pubs.doc.ic.ac. uk/logic-computer-science-second/ Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edn. Cambridge University Press, Cambridge (2004).
-
M. Huth M. Ryan 2004 Logic in Computer Science: Modelling and Reasoning about Systems 2 Cambridge University Press Cambridge 1073.68001 http://pubs.doc.ic.ac.uk/logic-computer-science-second/ Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edn. Cambridge University Press, Cambridge (2004). http://pubs.doc.ic.ac.uk/logic- computer-science-second/
-
(2004)
Logic in Computer Science: Modelling and Reasoning about Systems
-
-
Huth, M.1
Ryan, M.2
-
23
-
-
0003580125
-
-
Addison-Wesley Reading
-
Jacobson, I., Griss, M., Jonsson, P.: Software Reuse: Architecture, Process and Organization for Business Success. Addison-Wesley, Reading (1997)
-
(1997)
Software Reuse: Architecture, Process and Organization for Business Success
-
-
Jacobson, I.1
Griss, M.2
Jonsson, P.3
-
24
-
-
26444526578
-
Formal verification of Pentium®4 components with symbolic simulation and inductive invariants
-
Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings
-
Kaivola, R.: Formal verification of Pentium 4 components with symbolic simulation and inductive invariants. In: Etessami, K., Rajamani, S.K. (eds.) CAV. Lecture Notes in Computer Science, vol. 3576, pp. 170-184. Springer, Berlin (2005) (Pubitemid 41431732)
-
(2005)
Lecture Notes in Computer Science
, vol.3576
, pp. 170-184
-
-
Kaivola, R.1
-
25
-
-
0003512056
-
-
Tech. rep. Carnegie-Mellon University Software Engineering Institute
-
Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (foda) feasibility study. Tech. rep., Carnegie-Mellon University Software Engineering Institute (1990)
-
(1990)
Feature-Oriented Domain Analysis (foda) Feasibility Study
-
-
Kang, K.C.1
Cohen, S.G.2
Hess, J.A.3
Novak, W.E.4
Peterson, A.S.5
-
26
-
-
0036642037
-
Feature-oriented product line engineering
-
DOI 10.1109/MS.2002.1020288
-
K.C. Kang J. Lee P. Donohoe 2002 Feature-oriented product line engineering IEEE Softw. 19 4 58 65 10.1109/MS.2002.1020288 http://doi. ieeecomputersociety.org/10.1109/MS.2002.1020288 (Pubitemid 34806830)
-
(2002)
IEEE Software
, vol.19
, Issue.4
, pp. 58-65
-
-
Kang, K.C.1
Lee, J.2
Donohoe, P.3
-
27
-
-
33646173411
-
Design verification for product line development
-
Kishi, T., Noda, N., Katayama, T.: Design verification for product line development. In: SPLC, pp. 150-161 (2005)
-
(2005)
SPLC
, pp. 150-161
-
-
Kishi, T.1
Noda, N.2
Katayama, T.3
-
29
-
-
37149013404
-
Modal I/O automata for interface and product line theories
-
Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007. Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Proceedings
-
Larsen, K.G., Nyman, U., Wasowski, A.: Modal i/o automata for interface and product line theories. In: ESOP'07: Proceedings of the 16th European Conference on Programming, pp. 64-79. Springer, Berlin (2007) (Pubitemid 350259484)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4421 LNCS
, pp. 64-79
-
-
Larsen, K.G.1
Nyman, U.2
Wasowski, A.3
-
30
-
-
58049180001
-
Towards automated consistency checks of product line requirements specifications
-
Lauenroth, K., Pohl, K.: Towards automated consistency checks of product line requirements specifications. In: ASE '07: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, pp. 373-376. ACM, New York (2007).
-
K. Lauenroth K. Pohl 2007 Towards automated consistency checks of product line requirements specifications ASE '07: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering ACM New York 373 376 10.1145/1321631.1321687 http://doi.acm.org/10.1145/1321631.1321687 Lauenroth, K., Pohl, K.: Towards automated consistency checks of product line requirements specifications. In: ASE '07: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, pp. 373-376. ACM, New York (2007). http://doi.acm.org/10.1145/1321631.1321687
-
(2007)
ASE '07: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering
, pp. 373-376
-
-
Lauenroth, K.1
Pohl, K.2
-
31
-
-
0038687546
-
Verifying cross-cutting features as open systems
-
ACM New York. Li, H., Krishnamurthi, S., Fisler, K.: Verifying cross-cutting features as open systems. In: SIGSOFT '02/FSE-10: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 89-98. ACM, New York (2002a).
-
H. Li S. Krishnamurthi K. Fisler 2002 Verifying cross-cutting features as open systems SIGSOFT '02/FSE-10: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering ACM New York 89 98 10.1145/587051.587066 http://doi.acm.org/10.1145/587051.587066 Li, H., Krishnamurthi, S., Fisler, K.: Verifying cross-cutting features as open systems. In: SIGSOFT '02/FSE-10: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 89-98. ACM, New York (2002a). http://doi.acm.org/10.1145/ 587051.587066
-
(2002)
SIGSOFT '02/FSE-10: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering
, pp. 89-98
-
-
Li, H.1
Krishnamurthi, S.2
Fisler, K.3
-
32
-
-
84982958695
-
Interfaces for modular feature verification
-
IEEE Comput. Soc. Washington. 10.1109/ASE.2002.1115013
-
Li, H.C., Krishnamurthi, S., Fisler, K.: Interfaces for modular feature verification. In: ASE '02: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, p. 195. IEEE Comput. Soc., Washington (2002b)
-
(2002)
ASE '02: Proceedings of the 17th IEEE International Conference on Automated Software Engineering
, pp. 195
-
-
Li, H.C.1
Krishnamurthi, S.2
Fisler, K.3
-
33
-
-
22344448826
-
Modular verification of open features using three-valued model checking
-
DOI 10.1007/s10515-005-2643-9
-
H.C. Li S. Krishnamurthi K. Fisler 2005 Modular verification of open features using three-valued model checking Autom. Softw. Eng. 12 3 349 382 10.1007/s10515-005-2643-9 10.1007/s10515-005-2643-9 (Pubitemid 40997573)
-
(2005)
Automated Software Engineering
, vol.12
, Issue.3
, pp. 349-382
-
-
Li, H.C.1
Krishnamurthi, S.2
Fisler, K.3
-
34
-
-
84976723958
-
Validation of ultrahigh dependability for software-based systems
-
10.1145/163359.163373 http://doi.acm.org/10.1145/163359.163373
-
B. Littlewood L. Strigini 1993 Validation of ultrahigh dependability for software-based systems Commun. ACM 36 11 69 80 10.1145/163359.163373 http://doi.acm.org/10.1145/163359.163373
-
(1993)
Commun. ACM
, vol.36
, Issue.11
, pp. 69-80
-
-
Littlewood, B.1
Strigini, L.2
-
36
-
-
34548657954
-
Safety analysis of software product lines using state-based modeling
-
DOI 10.1016/j.jss.2007.01.047, PII S016412120700057X
-
J. Liu J. Dehlinger R. Lutz 2007 Safety analysis of software product lines using state-based modeling J. Syst. Softw. 80 11 1879 1892 10.1016/j.jss.2007.01.047 10.1016/j.jss.2007.01.047 (Pubitemid 47404638)
-
(2007)
Journal of Systems and Software
, vol.80
, Issue.11
, pp. 1879-1892
-
-
Liu, J.1
Dehlinger, J.2
Lutz, R.3
-
37
-
-
34250169840
-
State-based modeling to support the evolution and maintenance of safety-critical software product lines
-
DOI 10.1109/ECBS.2007.66, 4148978, Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007: Raising Expectations of Computer-Based Systems
-
J. Liu J. Dehlinger H. Sun R. Lutz 2007 State-based modeling to support the evolution and maintenance of safety-critical software product lines ECBS '07: Proceedings of the Fourteenth Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems IEEE Comput. Soc. Washington 596 608 10.1109/ECBS.2007.66 10.1109/ECBS.2007.66 Liu, J., Dehlinger, J., Sun, H., Lutz, R.: State-based modeling to support the evolution and maintenance of safety-critical software product lines. In: ECBS '07: Proceedings of the Fourteenth Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, pp. 596-608. IEEE Comput. Soc., Washington (2007b). 10.1109/ECBS.2007.66 (Pubitemid 46900717)
-
(2007)
Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems
, pp. 596-605
-
-
Liu, J.1
Dehlinger, J.2
Sun, H.3
Lutz, R.4
-
38
-
-
79951553043
-
-
Department of Computer Science, Iowa State University
-
Liu, J., Hauptman, M., Lutz, R., Geppert, B., Rossler, F.: A tool-supported technique for specification & management of model-checking properties for software product lines. Tech. Rep. 08-05, Department of Computer Science, Iowa State University (2008). http://archives.cs.iastate.edu
-
(2008)
A Tool-supported Technique for Specification & Management of Model-checking Properties for Software Product Lines. Tech. Rep. 08-05
-
-
Liu, J.1
Hauptman, M.2
Lutz, R.3
Geppert, B.4
Rossler, F.5
-
39
-
-
77950478186
-
Towards compositional synthesis of evolving systems
-
S. Nejati M. Sabetzadeh M. Chechik S. Uchitel P. Zave 2008 Towards compositional synthesis of evolving systems International Symposium on Foundations of Software Engineering http://publicaciones.dc.uba.ar/Publications/ 2008/NSCUZ08 Nejati, S., Sabetzadeh, M., Chechik, M., Uchitel, S., Zave, P.: Towards compositional synthesis of evolving systems. In: International Symposium on Foundations of Software Engineering (2008). http://publicaciones.dc.uba.ar/ Publications/2008/NSCUZ08
-
(2008)
International Symposium on Foundations of Software Engineering
-
-
Nejati, S.1
Sabetzadeh, M.2
Chechik, M.3
Uchitel, S.4
Zave, P.5
-
40
-
-
0012053712
-
Multi-dimensional separation of concerns and the hyperspace approach
-
Kluwer Academic Norwell citeseer.ist.psu.edu/ossher00multidimensional. html Ossher, H., Tarr, P.: Multi-dimensional separation of concerns and the hyperspace approach. In: Proceedings of the Symposium on Software Architectures and Component Technology: The State of the Art in Software Development. Kluwer Academic, Norwell (2000)
-
H. Ossher P. Tarr 2000 Multi-dimensional separation of concerns and the hyperspace approach Proceedings of the Symposium on Software Architectures and Component Technology: The State of the Art in Software Development Kluwer Academic Norwell citeseer.ist.psu.edu/ossher00multidimensional.html Ossher, H., Tarr, P.: Multi-dimensional separation of concerns and the hyperspace approach. In: Proceedings of the Symposium on Software Architectures and Component Technology: The State of the Art in Software Development. Kluwer Academic, Norwell (2000). citeseer.ist.psu.edu/ossher00multidimensional.html
-
(2000)
Proceedings of the Symposium on Software Architectures and Component Technology: The State of the Art in Software Development
-
-
Ossher, H.1
Tarr, P.2
-
41
-
-
84892351987
-
-
Springer New York 1075.68575
-
Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, New York (2005)
-
(2005)
Software Product Line Engineering: Foundations, Principles and Techniques
-
-
Pohl, K.1
Böckle, G.2
Van Der Linden, F.3
-
46
-
-
5144227969
-
Modeling variability in software product lines with the variation point model
-
10.1016/j.scico.2003.04.004 1079.68528 10.1016/j.scico.2003.04.004 2113414
-
D.L. Webber H. Gomaa 2004 Modeling variability in software product lines with the variation point model Sci. Comput. Program. 53 3 305 331 10.1016/j.scico.2003.04.004 1079.68528 10.1016/j.scico.2003.04.004 2113414
-
(2004)
Sci. Comput. Program.
, vol.53
, Issue.3
, pp. 305-331
-
-
Webber, D.L.1
Gomaa, H.2
-
48
-
-
77954491081
-
Verified systems by composition from verified components
-
10.1145/949952.940109 http://doi.acm.org/10.1145/949952.940109
-
F. Xie J.C. Browne 2003 Verified systems by composition from verified components SIGSOFT Softw. Eng. Notes 28 5 277 286 10.1145/949952.940109 http://doi.acm.org/10.1145/949952.940109
-
(2003)
SIGSOFT Softw. Eng. Notes
, vol.28
, Issue.5
, pp. 277-286
-
-
Xie, F.1
Browne, J.C.2
-
49
-
-
84942212318
-
Feature interactions and formal specifications in telecommunications
-
10.1109/2.223539 10.1109/2.223539
-
P. Zave 1993 Feature interactions and formal specifications in telecommunications Computer 26 8 20 29 10.1109/2.223539 10.1109/2.223539
-
(1993)
Computer
, vol.26
, Issue.8
, pp. 20-29
-
-
Zave, P.1
|