-
1
-
-
22944471593
-
Using scenarios in deficiency-driven requirements engineering
-
IEEE Computer Society Press
-
Anderson, J.S. and Durney B. 1993. Using scenarios in deficiency-driven requirements engineering. Requirements Engineering'93, IEEE Computer Society Press, pp. 134-141.
-
(1993)
Requirements Engineering'93
, pp. 134-141
-
-
Anderson, J.S.1
Durney, B.2
-
3
-
-
0030082763
-
From OOA to GUIs: The janus system
-
Balzert, H. 1994. From OOA to GUIs: The janus system. IEEE Software 8(9):43-47.
-
(1994)
IEEE Software
, vol.8
, Issue.9
, pp. 43-47
-
-
Balzert, H.1
-
5
-
-
0031643502
-
Progressive design: Staged evolution of scenarios in the design of a collaborative science learning environment
-
Los Angeles
-
Chin, G. and Rosson, M.B. 1998. Progressive design: Staged evolution of scenarios in the design of a collaborative science learning environment. In Proceeding of the Conference on Human Factors in Computing Systems (CHI'98), Los Angeles, pp. 611-618.
-
(1998)
Proceeding of the Conference on Human Factors in Computing Systems (CHI'98)
, pp. 611-618
-
-
Chin, G.1
Rosson, M.B.2
-
7
-
-
0003691163
-
-
Prentice-Hall, Inc.
-
Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., and Jeremaes P. 1994. Object-Oriented Development: The Fusion Method. Prentice-Hall, Inc.
-
(1994)
Object-Oriented Development: the Fusion Method
-
-
Coleman, D.1
Arnold, P.2
Bodoff, S.3
Dollin, C.4
Gilchrist, H.5
Hayes, F.6
Jeremaes, P.7
-
9
-
-
0032646574
-
Generating user interface prototypes from scenarios
-
Limerick, Ireland
-
Elkoutbi, M., Khriss, I., and Keller, R.K. 1999. Generating User Interface Prototypes from Scenarios, In Proceedings of the Fourth IEEE International Symposium on Requirements Engineering (RE'99), Limerick, Ireland, pp. 150-158.
-
(1999)
Proceedings of the Fourth IEEE International Symposium on Requirements Engineering (RE'99)
, pp. 150-158
-
-
Elkoutbi, M.1
Khriss, I.2
Keller, R.K.3
-
10
-
-
84947230730
-
User interface prototyping based on UML scenarios and high-level petri nets, application and theory of petri nets 2000
-
Springer-Verlag LNCS 1825, Aarhus, Denmark
-
Elkoutbi, M. and Keller, R.K. 2000. User interface prototyping based on UML scenarios and high-level petri nets, application and theory of petri nets 2000. In Proceeding of the 21st International Conference on ATPN, Springer-Verlag LNCS 1825, Aarhus, Denmark, pp. 166-186.
-
(2000)
Proceeding of the 21st International Conference on ATPN
, pp. 166-186
-
-
Elkoutbi, M.1
Keller, R.K.2
-
11
-
-
0013451928
-
Statecharts for requirements specification - As simple as possible, as rich as needed
-
Position paper Orlando, Florida
-
Glinz, M. 2002. Statecharts For Requirements Specification - As Simple As Possible, As Rich As Needed, Position paper in the ICSE 2002 Workshop: Scenarios and state machines: models, algorithms, and tools, Orlando, Florida.
-
(2002)
ICSE 2002 Workshop: Scenarios and State Machines: Models, Algorithms, and Tools
-
-
Glinz, M.1
-
12
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
Harel, D. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8:231-274.
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
13
-
-
0025416878
-
STATEMATE: A working environment for the development of complex reactive systems
-
Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., and Trakhtenbrot, M. 1990. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 4(16):403-414.
-
(1990)
IEEE Transactions on Software Engineering
, vol.4
, Issue.16
, pp. 403-414
-
-
Harel, D.1
Lachover, H.2
Naamad, A.3
Pnueli, A.4
Politi, M.5
Sherman, R.6
Shtull-Trauring, A.7
Trakhtenbrot, M.8
-
14
-
-
4544221419
-
Completeness and consistency in hierarchical state-based requirements
-
Heimdahl, M.P.E. and Leveson, N.G. 1996. Completeness and consistency in hierarchical state-based requirements. IEEE Transactions on Software Engineering 22(6):363-377.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.6
, pp. 363-377
-
-
Heimdahl, M.P.E.1
Leveson, N.G.2
-
15
-
-
84863906471
-
SCR*: A toolset for specifying and analyzing software requirements
-
Vancouver, Canada
-
Heitmeyer, C., Kirby, J., Labaw, B., and Bharadwaj, R. 1998. SCR*: A toolset for specifying and analyzing software requirements. In Proceeding of the 10th Annual Conference on Computer-Aided Verification, (CAV'98), Vancouver, Canada, pp. 526-531.
-
(1998)
Proceeding of the 10th Annual Conference on Computer-Aided Verification, (CAV'98)
, pp. 526-531
-
-
Heitmeyer, C.1
Kirby, J.2
Labaw, B.3
Bharadwaj, R.4
-
16
-
-
0028400368
-
Formal approach to scenario analysis
-
Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., and Chen, C. 1994. Formal approach to scenario analysis, IEEE Software 2(11):33-41.
-
(1994)
IEEE Software
, vol.2
, Issue.11
, pp. 33-41
-
-
Hsia, P.1
Samuel, J.2
Gao, J.3
Kung, D.4
Toyoshima, Y.5
Chen, C.6
-
19
-
-
0003504769
-
-
Addison-Wesley
-
Jacobson, I., Christerson, M., Jonsson, P., and Overgaard, G. 1992. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley.
-
(1992)
Object-oriented Software Engineering: A Use Case Driven Approach
-
-
Jacobson, I.1
Christerson, M.2
Jonsson, P.3
Overgaard, G.4
-
20
-
-
0027843382
-
Generating user interfaces from data models and dialogue net specifications
-
Amsterdam, The Netherlands
-
Janssen, C. Weisbecker, A., and Ziegler, U. 1993. Generating user interfaces from data models and dialogue net specifications. In Proceeding of the Conference on Human Factors in Computing Systems (CHI'93), Amsterdam, The Netherlands, pp. 418-423.
-
(1993)
Proceeding of the Conference on Human Factors in Computing Systems (CHI'93)
, pp. 418-423
-
-
Janssen, C.1
Weisbecker, A.2
Ziegler, U.3
-
21
-
-
0342773485
-
Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams
-
Beyond the Notation, Mulhouse, France
-
Khriss, I., Elkoutbi, M., and Keller, R.K. 1998. Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In Proceeding of the International Workshop on the Unified Modelling Language UML'98, Beyond the Notation, Mulhouse, France, pp. 115-126.
-
(1998)
Proceeding of the International Workshop on the Unified Modelling Language UML'98
, pp. 115-126
-
-
Khriss, I.1
Elkoutbi, M.2
Keller, R.K.3
-
22
-
-
85013585981
-
Automatic synthesis of behavioral specifications from scenarios
-
IOS press
-
Khriss, I., Elkoutbi, M., and Keller, R.K. 2001. Automatic synthesis of behavioral specifications from scenarios. Journal of Integrated Design and Process Science 5(3):53-77. IOS press.
-
(2001)
Journal of Integrated Design and Process Science
, vol.5
, Issue.3
, pp. 53-77
-
-
Khriss, I.1
Elkoutbi, M.2
Keller, R.K.3
-
23
-
-
0026262657
-
Visual programming using structured data flow
-
Kobe, Japan
-
Kodosky, J., MacCrisken, J., and Rymar, G. 1991. Visual programming using structured data flow. In Proc. of the IEEE Workshop on Visual Languages, Kobe, Japan, pp. 34-39.
-
(1991)
Proc. of the IEEE Workshop on Visual Languages
, pp. 34-39
-
-
Kodosky, J.1
MacCrisken, J.2
Rymar, G.3
-
24
-
-
0031672505
-
Automatic support for modeling OO software
-
Koskimies, K., Systa, T., Tuomi, J., and Mannisto T. 1998. Automatic support for modeling OO software. IEEE Software 15(1):42-50.
-
(1998)
IEEE Software
, vol.15
, Issue.1
, pp. 42-50
-
-
Koskimies, K.1
Systa, T.2
Tuomi, J.3
Mannisto, T.4
-
26
-
-
84976719334
-
Experiences using co-operative interactive Storyboard prototyping
-
Madsen, K. and Aiken, P. 1993. Experiences using co-operative interactive Storyboard prototyping. Communications of the ACM 36(4):57-64.
-
(1993)
Communications of the ACM
, vol.36
, Issue.4
, pp. 57-64
-
-
Madsen, K.1
Aiken, P.2
-
29
-
-
0041515684
-
The use of scenarios in design
-
Nardi, B.A. 1992. The use of scenarios in design. SIGCHI Bulletin, 24(4).
-
(1992)
SIGCHI Bulletin
, vol.24
, Issue.4
-
-
Nardi, B.A.1
-
30
-
-
29244432429
-
-
ObjectGeode: Telelogic Inc. http://www.telelogic.com/products/additional/ objectgeode/.
-
-
-
-
31
-
-
0344572169
-
-
Englewood Cliffs, NJ, USA: Prentice Hall
-
Open Software Foundation. 1990. OSF/Motif Style Guide. Englewood Cliffs, NJ, USA: Prentice Hall.
-
(1990)
OSF/Motif Style Guide
-
-
-
32
-
-
29244448623
-
Inquiry-based scenario analysis of system requirements
-
Georgia Institute of Technology
-
Potts, C., Takahashi, K., and Anton, A. 1994. Inquiry-Based Scenario Analysis of System Requirements. Technical Report GIT-CC-94/14, Georgia Institute of Technology.
-
(1994)
Technical Report
, vol.GIT-CC-94-14
-
-
Potts, C.1
Takahashi, K.2
Anton, A.3
-
33
-
-
29244453891
-
-
Rationale Rose RealTime: Rationale Inc. http://www.rational.com/products/ rosert.
-
-
-
-
34
-
-
29244482203
-
-
Rational Software Corporation, Rational Rose, Santa Clara, CA. http://www.rational.com.
-
-
-
-
35
-
-
0009915913
-
Integrating development of task and object models
-
Rosson, M.B. 1999. Integrating development of task and object models. Communications of the ACM. 42(1):49-56.
-
(1999)
Communications of the ACM
, vol.42
, Issue.1
, pp. 49-56
-
-
Rosson, M.B.1
-
38
-
-
0003511049
-
-
Prentice-Hall, Inc.
-
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991. Object-oriented modeling and design. Prentice-Hall, Inc..
-
(1991)
Object-oriented Modeling and Design
-
-
Rumbaugh, J.1
Blaha, M.2
Premerlani, W.3
Eddy, F.4
Lorensen, W.5
-
39
-
-
0003547470
-
-
Addison Wesley, Inc.
-
Rumbaugh, J., Jacobson, I., and Booch, G. 1999. The Unified Modeling Language Reference Manual. Addison Wesley, Inc.
-
(1999)
The Unified Modeling Language Reference Manual
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
41
-
-
18244417270
-
Algorithmic support for model transformation in object-oriented software development
-
Object Systems Section. John Wiley and Sons
-
Schönberger, S., Keller, R.K., and Khriss, I. 2001. Algorithmic support for model transformation in object-oriented software development. Concurrency and Computation: Practice and Experience. 13(5):351-383, Object Systems Section. John Wiley and Sons.
-
(2001)
Concurrency and Computation: Practice and Experience.
, vol.13
, Issue.5
, pp. 351-383
-
-
Schönberger, S.1
Keller, R.K.2
Khriss, I.3
|