-
2
-
-
33750574713
-
Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures
-
Bernardo, M., Inverardi, P.: Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures, LNCS 2804 (2003)
-
(2003)
LNCS
, vol.2804
-
-
Bernardo, M.1
Inverardi, P.2
-
4
-
-
0004025223
-
Software Architecture in Practice
-
second edition, Addison-Wesley Professional
-
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, second edition. SEI Series in Software Eng. Addison-Wesley Professional (2003)
-
(2003)
SEI Series in Software Eng
-
-
Bass, L.1
Clements, P.2
Kazman, R.3
-
5
-
-
77049104856
-
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
-
Bertolino, A., Marchetti, E., Muccini, H.: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. (In: Testing and Analysis of Component-Based Systems Workshop, Tacos 2004)
-
(2004)
(In: Testing and Analysis of Component-Based Systems Workshop, Tacos
-
-
Bertolino, A.1
Marchetti, E.2
Muccini, H.3
-
6
-
-
0033892696
-
A Classification and Comparison Framework for Software Architecture Description Languages
-
Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE TSE 26(1) (2000)
-
(2000)
IEEE TSE
, vol.26
, Issue.1
-
-
Medvidovic, N.1
Taylor, R.N.2
-
7
-
-
0006101465
-
Modeling Software Architectures in the Unified Modeling Language
-
Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling Software Architectures in the Unified Modeling Language. ACM TOSEM 11(1) (2002)
-
(2002)
ACM TOSEM
, vol.11
, Issue.1
-
-
Medvidovic, N.1
Rosenblum, D.S.2
Redmiles, D.F.3
Robbins, J.E.4
-
8
-
-
77049106257
-
-
STRAW'03: Second Int.Workshop From Software Requirements to Architectures (May 09, 2003, Portland, Oregon, USA)
-
STRAW'03: Second Int.Workshop From Software Requirements to Architectures (May 09, 2003, Portland, Oregon, USA)
-
-
-
-
9
-
-
4944227062
-
Real world influences on software architecture - interviews with industrial system experts
-
Mustapic, G.,Wall, A., Norstrom, C., Crnkovic, I., Sandstrom, K., Andersson, J.: Real world influences on software architecture - interviews with industrial system experts. In: Fourth Working IEEE/IFIP Conference on Software Architecture, WICSA 2004. (2004) 101-111
-
(2004)
Fourth Working IEEE/IFIP Conference on Software Architecture, WICSA
, pp. 101-111
-
-
Mustapic, G.1
Wall, A.2
Norstrom, C.3
Crnkovic, I.4
Sandstrom, K.5
Andersson, J.6
-
11
-
-
0003885423
-
-
7th ed, Addison-Wesley Longman Publishing Co, Inc, Boston, MA, USA
-
Sommerville, I.: Software engineering (7th ed.). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA (2004)
-
(2004)
Software engineering
-
-
Sommerville, I.1
-
12
-
-
77049107543
-
Towards a Graphical Tool for Refining User to System Requirements
-
to appear in ENTCS, 2006
-
Autili, M., Pelliccione, P.: Towards a Graphical Tool for Refining User to System Requirements. In: 5th GT-VMT'06 - ETAPS'06, to appear in ENTCS. (2006)
-
5th GT-VMT'06 - ETAPS'06
-
-
Autili, M.1
Pelliccione, P.2
-
13
-
-
0032667112
-
Patterns in property specifications for finite-state verification
-
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE. (1999) 411-420
-
(1999)
ICSE
, pp. 411-420
-
-
Dwyer, M.B.1
Avrunin, G.S.2
Corbett, J.C.3
-
14
-
-
43249122938
-
-
PSC Project
-
PSC Project: PSC web site. http://www.di.univaq.it/psc2ba (2005)
-
(2005)
PSC web site
-
-
-
15
-
-
33750567742
-
A scenario based notation for specifying temporal properties
-
Shanghai, China. ACM press
-
Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties, 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), Shanghai, China. ACM press (2006)
-
(2006)
5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06)
-
-
Autili, M.1
Inverardi, P.2
Pelliccione, P.3
-
17
-
-
24944496126
-
-
CHARMY Project:, univaq.it/charmy
-
CHARMY Project: Charmy Web Site. http://www.di.univaq.it/charmy (2004)
-
(2004)
Charmy Web Site
-
-
-
18
-
-
32344442837
-
Charmy: An extensible tool for architectural analysis
-
New York, NY, USA, ACM Press
-
Inverardi, P., Muccini, H., Pelliccione, P.: Charmy: an extensible tool for architectural analysis. In: ESEC/FSE-13: Proceedings of the 10th European software engineering conference, New York, NY, USA, ACM Press (2005) 111-114
-
(2005)
ESEC/FSE-13: Proceedings of the 10th European software engineering conference
, pp. 111-114
-
-
Inverardi, P.1
Muccini, H.2
Pelliccione, P.3
-
21
-
-
24944433044
-
TESTOR: Deriving Test Sequences from Model-based Specifications
-
In: Proc. 8th Int. SIGSOFT Symposium on Component-based Software Engineering. May
-
Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: TESTOR: Deriving Test Sequences from Model-based Specifications. (In: Proc. 8th Int. SIGSOFT Symposium on Component-based Software Engineering. May 2005. LNCS 3489) 267-282
-
(2005)
LNCS
, vol.3489
, pp. 267-282
-
-
Pelliccione, P.1
Muccini, H.2
Bucchiarone, A.3
Facchini, F.4
-
22
-
-
18244395722
-
Model Based Test Generation Tools
-
Technical report, AGEDIS project Downloads
-
Hartman, A.: Model Based Test Generation Tools. Technical report, AGEDIS project Downloads (2002)
-
(2002)
-
-
Hartman, A.1
-
23
-
-
77049120250
-
Improving System Dependability by Enforcing Architectural Intent
-
Work. on Architecting Depend. Systems, 2005
-
Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B., Nahas, N., Tseng, T.: Improving System Dependability by Enforcing Architectural Intent. In: ICSE 2005 Work. on Architecting Depend. Systems. (2005)
-
(2005)
ICSE
-
-
Abi-Antoun, M.1
Aldrich, J.2
Garlan, D.3
Schmerl, B.4
Nahas, N.5
Tseng, T.6
-
24
-
-
77049086743
-
-
Hacklinger, F.: Java/a - taking components into java. In Proc. 13th ISCA Int. Conf. Intelligent and Adaptive Systems and Software Engineering (IASSE'04) (2004) 163-169
-
Hacklinger, F.: Java/a - taking components into java. In Proc. 13th ISCA Int. Conf. Intelligent and Adaptive Systems and Software Engineering (IASSE'04) (2004) 163-169
-
-
-
-
25
-
-
77049114225
-
-
ETSI EN 300 417: Transmission and Multiplexing (TM); Generic requirements of transport functionality of equipment. Eur. Telecom. Standards Institute (2001)
-
ETSI EN 300 417: Transmission and Multiplexing (TM); Generic requirements of transport functionality of equipment. Eur. Telecom. Standards Institute (2001)
-
-
-
-
26
-
-
77049096458
-
-
ITU-T G.783: SERIES G: Transmission Systems and Media, Digiral Systems and Networks - Digital terminal equipments - Principal characteristics of multiplexing equipment for the synchronous digital hierarchy. Int. Telecommunication Union (1997)
-
ITU-T G.783: SERIES G: Transmission Systems and Media, Digiral Systems and Networks - Digital terminal equipments - Principal characteristics of multiplexing equipment for the synchronous digital hierarchy. Int. Telecommunication Union (1997)
-
-
-
-
28
-
-
84949663694
-
What is Included in Software Architecture? - A Case Study in Three Software Organizations
-
Smolander, K., Hoikka, K., Isokallio, J., Kataikko, M., Makela, T.: What is Included in Software Architecture? - A Case Study in Three Software Organizations. In: 9th IEEE International Conference on Engineering of Computer-Based Systems. (2002) 131-138
-
(2002)
9th IEEE International Conference on Engineering of Computer-Based Systems
, pp. 131-138
-
-
Smolander, K.1
Hoikka, K.2
Isokallio, J.3
Kataikko, M.4
Makela, T.5
-
29
-
-
0003902726
-
-
Addison Wesley, Object Technology Series
-
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, Object Technology Series (1999)
-
(1999)
The Unified Software Development Process
-
-
Jacobson, I.1
Booch, G.2
Rumbaugh, J.3
-
30
-
-
0012647401
-
-
Addison-Wesley
-
Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Paech, B., Wüst, J., Zettel, J.: Component-Based Product-Line Engineering with UML. Addison-Wesley (2001)
-
(2001)
Component-Based Product-Line Engineering with UML
-
-
Atkinson, C.1
Bayer, J.2
Bunse, C.3
Kamsties, E.4
Laitenberger, O.5
Laqua, R.6
Muthig, D.7
Paech, B.8
Wüst, J.9
Zettel, J.10
-
32
-
-
0003854752
-
-
Addison-Wesley
-
Souza, D.D., Wills, A.C.: Objects, components, and frameworks with UML. The Catalysis approach, Addison-Wesley (1998)
-
(1998)
Objects, components, and frameworks with UML. The Catalysis approach
-
-
Souza, D.D.1
Wills, A.C.2
|