-
1
-
-
0038600734
-
Second international workshop on from sofTware requirements to architectures (STRAW'03)
-
Portland, USA
-
D. M. Berry, R. Kazman, and R. Wieringa, "Second International Workshop on From SofTware Requirements to Architectures (STRAW'03)," 25. International Conference of Software Engineering (ICSE'03), Portland, USA, 2003.
-
(2003)
25. International Conference of Software Engineering (ICSE'03)
-
-
Berry, D.M.1
Kazman, R.2
Wieringa, R.3
-
2
-
-
24344467499
-
Relating software requirements and architectures
-
J. G. Hall, I. Mistrik, B. Nuseibeh, and A. Silva, "Relating Software Requirements and Architectures," IEE Proceedings Software, vol. 152, pp. 141-142, 2005.
-
(2005)
IEE Proceedings Software
, vol.152
, pp. 141-142
-
-
Hall, J.G.1
Mistrik, I.2
Nuseibeh, B.3
Silva, A.4
-
4
-
-
0345421672
-
The future of requirements management tools
-
G. Quirchmayr, R. Wagner, and M. Wimmer, Eds., Austrian Computer Society
-
A. Finkelstein and W. Emmerich, "The Future of Requirements Management Tools," in Information Systems in Public Administration and Law, G. Quirchmayr, R. Wagner, and M. Wimmer, Eds., Austrian Computer Society, 2000.
-
(2000)
Information Systems in Public Administration and Law
-
-
Finkelstein, A.1
Emmerich, W.2
-
8
-
-
35248827688
-
From system goals to software architecture
-
Lecture Notes in Computer Science, M. Bernardo and P. Inverardi, Eds., Springer Verlag
-
A. v. Lamsweerde, "From system goals to software architecture," in Formal Methods For Software Architectures, vol. 2804, Lecture Notes in Computer Science, M. Bernardo and P. Inverardi, Eds., Springer Verlag, 2003.
-
(2003)
Formal Methods for Software Architectures
, vol.2804
-
-
Lamsweerde, A.V.1
-
12
-
-
0003536111
-
A formal approach to software architecture
-
Pittsburgh, PA: Carnegie Mellon
-
R. Allen, "A Formal Approach to Software Architecture," in School of Computer Science. Pittsburgh, PA: Carnegie Mellon, 1997.
-
(1997)
School of Computer Science
-
-
Allen, R.1
-
13
-
-
0029292854
-
Specification and analysis of system architecture using rapide
-
D. C. Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan, and W. Mann, "Specification and Analysis of System Architecture Using Rapide," IEEE Transactions on Software Engineering, vol. 21, pp. 336-355, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, pp. 336-355
-
-
Luckham, D.C.1
Kenney, J.J.2
Augustin, L.M.3
Vera, J.4
Bryan, D.5
Mann, W.6
-
14
-
-
0029288830
-
Abstractions for software architecture and tools to support them
-
M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Yelesnik, "Abstractions for Software Architecture and Tools to Support Them," IEEE Transactions on Software Engineering, vol. 21, pp. 314-335, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, pp. 314-335
-
-
Shaw, M.1
Deline, R.2
Klein, D.V.3
Ross, T.L.4
Young, D.M.5
Yelesnik, G.6
-
15
-
-
33845570539
-
SDL-2000: A language with a formal semantics
-
York, UK
-
J. Fischer, E. Holz, M. v. Loewis, and A. Prinz, "SDL-2000: A Language with a Formal Semantics," Rigorous Object-Oriented Methods 2000, York, UK, 2000.
-
(2000)
Rigorous Object-oriented Methods 2000
-
-
Fischer, J.1
Holz, E.2
Loewis, M.V.3
Prinz, A.4
-
17
-
-
0033892696
-
A classification and comparison framework for software architecture description languages
-
N. Medvidovic and R. N. Taylor, "A Classification and Comparison Framework for Software Architecture Description Languages," IEEE Transactions on Software Engineering, vol. 26, pp. 70-93, 2000.
-
(2000)
IEEE Transactions on Software Engineering
, vol.26
, pp. 70-93
-
-
Medvidovic, N.1
Taylor, R.N.2
-
18
-
-
0001803032
-
ACME: An architecture description interchange language
-
Toronto, Ontario
-
D. Garlan, R. T. Monroe, and D. Wile, "ACME: An Architecture Description Interchange Language," CASCON'97, Toronto, Ontario, 1997.
-
(1997)
CASCON'97
-
-
Garlan, D.1
Monroe, R.T.2
Wile, D.3
-
19
-
-
0001673498
-
Mathematical notation in formal specification: Too difficult for the masses?
-
K. Finney, "Mathematical Notation in Formal Specification: Too Difficult for the Masses?," IEEE Transactions on Software Engineering, vol. 22, pp. 158-159, 1996.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, pp. 158-159
-
-
Finney, K.1
-
21
-
-
0027574423
-
Goaldirected requirements acquisition
-
A. Dardenne, A. v. Lamsweerde, and S. Fickas, "Goaldirected requirements acquisition," Science of Computer Programming, vol. 20, pp. 3-50, 1993.
-
(1993)
Science of Computer Programming
, vol.20
, pp. 3-50
-
-
Dardenne, A.1
Lamsweerde, A.V.2
Fickas, S.3
-
22
-
-
0003696305
-
-
Norwell, MA: Kluwer Academic Publishers
-
L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos, Non-functional Requirements in Software Engineering. Norwell, MA: Kluwer Academic Publishers, 2000.
-
(2000)
Non-functional Requirements in Software Engineering
-
-
Chung, L.1
Nixon, B.A.2
Yu, E.3
Mylopoulos, J.4
-
26
-
-
84936941964
-
Relating software requirements and architectures using problem frames
-
Essen, Germany
-
J. G. Hall, M. Jackson, R. C. Laney, B. Nuseibeh, and L. Rapanotti, "Relating Software Requirements and Architectures using Problem Frames," IEEE Joint International Requirements Engineering Conference (RE'02), Essen, Germany, 2002.
-
(2002)
IEEE Joint International Requirements Engineering Conference (RE'02)
-
-
Hall, J.G.1
Jackson, M.2
Laney, R.C.3
Nuseibeh, B.4
Rapanotti, L.5
-
27
-
-
0032299618
-
Use case maps as architectural entities for complex systems
-
R. J. A. Buhr, "Use Case Maps as Architectural Entities for Complex Systems," IEEE Transactions on Software Engineering, vol. 24, pp. 1131-1155, 1998.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, pp. 1131-1155
-
-
Buhr, R.J.A.1
-
31
-
-
0141993720
-
Bridging models across the software lifecycle
-
N. Medvidovic, P. Gruenbacher, A. Egyed, and B. W. Boehm, "Bridging models across the software lifecycle," The Journal of Systems and Software, vol. 68, pp. 199-215, 2003.
-
(2003)
The Journal of Systems and Software
, vol.68
, pp. 199-215
-
-
Medvidovic, N.1
Gruenbacher, P.2
Egyed, A.3
Boehm, B.W.4
-
32
-
-
0034822391
-
Reconciling software requirements and architectures: The CBSP approach
-
Toronto, Canada
-
P. Gruenbacher, A. Egyed, and N. Medvidovic, "Reconciling Software Requirements and Architectures: The CBSP Approach," 5th International Symposium on Requirements Engineering, Toronto, Canada, 2001.
-
(2001)
5th International Symposium on Requirements Engineering
-
-
Gruenbacher, P.1
Egyed, A.2
Medvidovic, N.3
-
35
-
-
33845586130
-
-
Doctoral Consortium at RE'04, Kyoto, Japan
-
W. Liu, "Architecting Requirements," Doctoral Consortium at RE'04, Kyoto, Japan, 2004.
-
(2004)
Architecting Requirements
-
-
Liu, W.1
-
36
-
-
0033184939
-
Difficulties in the transition from OO analysis to design
-
H. Kaindl, "Difficulties in the Transition from OO Analysis to Design," IEEE Software, vol. 16, pp. 94-102, 1999.
-
(1999)
IEEE Software
, vol.16
, pp. 94-102
-
-
Kaindl, H.1
-
37
-
-
85008523798
-
Weaving together requirements and architectures
-
B. Nuseibeh, "Weaving together requirements and architectures," IEEE Software, vol. 34, pp. 115-11, 2001.
-
(2001)
IEEE Software
, vol.34
, pp. 115-211
-
-
Nuseibeh, B.1
-
39
-
-
2942592144
-
Analysis of requirements volatility during software development life cycle
-
Melbourne, Australia
-
N. Nurmuliani, D. Zowghi, and S. Fowell, "Analysis of Requirements Volatility during Software Development Life Cycle," 2004 Australian Software Engineering Conference, Melbourne, Australia, 2004.
-
(2004)
2004 Australian Software Engineering Conference
-
-
Nurmuliani, N.1
Zowghi, D.2
Fowell, S.3
|