-
1
-
-
0012021187
-
-
"jCVS Home Page" Available at http://www.jcvs.org/.
-
jCVS Home Page
-
-
-
3
-
-
0027266510
-
Computational reflection in software process modeling: The SLANG approach
-
IEEE Computer Society Press, Baltimore, MD
-
S. Bandinelli and A. Fuggetta, "Computational Reflection in Software Process Modeling: the SLANG Approach," Fifteenth International Conference on Software Engineering, IEEE Computer Society Press. pp. 144-154, Baltimore, MD, 1993.
-
(1993)
Fifteenth International Conference on Software Engineering
, pp. 144-154
-
-
Bandinelli, S.1
Fuggetta, A.2
-
4
-
-
35848963475
-
Process modeling in-the-large with SLANG
-
IEEE Computer Society Press, Berlin Germany
-
S. Bandinelli, A. Fuggetta, and S. Grigolli, "Process Modeling in-the-large with SLANG," Second International Conference on the Software Process, IEEE Computer Society Press. pp. 75-83, Berlin Germany, 1993.
-
(1993)
Second International Conference on the Software Process
, pp. 75-83
-
-
Bandinelli, S.1
Fuggetta, A.2
Grigolli, S.3
-
6
-
-
0035017875
-
A scalable formal method for design and automatic checking of user interfaces
-
Toronto, Canada
-
J. Berstel, S.C. Reghizzi, G. Roussel, and P. San Pietro, "A Scalable Formal Method for Design and Automatic Checking of User Interfaces," 23rd International Conference on Software Engineering, pp. 453-462, Toronto, Canada, 2001.
-
(2001)
23rd International Conference on Software Engineering
, pp. 453-462
-
-
Berstel, J.1
Reghizzi, S.C.2
Roussel, G.3
San Pietro, P.4
-
7
-
-
84956855694
-
Distributed systems OSF DCE and beyond
-
DCE - The OSF Distributed Computing Environment, A. Schill, Ed. New York: Springer-Verlag
-
M. Bever, K. Geihs, L. Heuser, M. Muhlhauser, and A. Scholl, "Distributed Systems OSF DCE and Beyond," in DCE - The OSF Distributed Computing Environment, vol. 731, Lecture Notes in Computer Science, A. Schill, Ed. New York: Springer-Verlag, 1993.
-
(1993)
Lecture Notes in Computer Science
, vol.731
-
-
Bever, M.1
Geihs, K.2
Heuser, L.3
Muhlhauser, M.4
Scholl, A.5
-
10
-
-
0032203919
-
Tolerating deviations in process support systems via flexible enactment of process models
-
G. Cugola, "Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models," IEEE Transactions on Software Engineering, vol. 24, pp. 982-1001, 1998.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, pp. 982-1001
-
-
Cugola, G.1
-
11
-
-
0012022538
-
Open issues in managing inconsistencies in human-centered systems
-
Workshop on Living with Inconsistency, Boston, MA
-
E. Di Nitto and A. Fuggetta, "Open Issues In Managing Inconsistencies in Human-Centered Systems," Proceedings of the International Conference on Software Engineering (ICSE) '97, Workshop on Living with Inconsistency, Boston, MA, 1997.
-
(1997)
Proceedings of the International Conference on Software Engineering (ICSE) '97
-
-
Di Nitto, E.1
Fuggetta, A.2
-
12
-
-
85030211978
-
Data flow analysis for verifying properties of concurrent programs
-
ACM SIGSOFT'94 Software Engineering Notes, ACM Press, New Orleans LA
-
M.B. Dwyer and L.A. Clarke, "Data Flow Analysis for Verifying Properties of Concurrent Programs," Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM SIGSOFT'94 Software Engineering Notes, vol. 19, ACM Press. pp. 62-75, New Orleans LA, 1994.
-
(1994)
Second ACM SIGSOFT Symposium on the Foundations of Software Engineering
, vol.19
, pp. 62-75
-
-
Dwyer, M.B.1
Clarke, L.A.2
-
14
-
-
84943597509
-
An application-independent intelligent user support system exploiting action-sequence based on user modeling
-
Springer Wien, New York, Banff, Canada
-
L.M. Encarnacao and S. Stoev, "An Application-Independent Intelligent User Support System exploiting Action-sequence based on User Modeling," User Modeling: Proceedings of the Seventh International Conference, Springer Wien, New York. pp. 245-254, Banff, Canada, 1999.
-
(1999)
User Modeling: Proceedings of the Seventh International Conference
, pp. 245-254
-
-
Encarnacao, L.M.1
Stoev, S.2
-
18
-
-
0012088246
-
Issues encountered in building a flexible software development environment: Lessons from the arcadia project
-
Tyson's Corner, VA
-
R. Kadia, "Issues Encountered in Building a Flexible Software Development Environment: Lessons from the Arcadia Project," Fifth ACM SIGSOFT Symposium on Software Development Environment, pp. 169-180, Tyson's Corner, VA, 1992.
-
(1992)
Fifth ACM SIGSOFT Symposium on Software Development Environment
, pp. 169-180
-
-
Kadia, R.1
-
19
-
-
0024011531
-
Intelligent assistance for software development and maintenance
-
G.E. Kaiser, P.H. Feiler, and S.S. Popovich, "Intelligent Assistance for Software Development and Maintenance," IEEE Software, vol. 5, pp. 40-49, 1988.
-
(1988)
IEEE Software
, vol.5
, pp. 40-49
-
-
Kaiser, G.E.1
Feiler, P.H.2
Popovich, S.S.3
-
20
-
-
0002370369
-
A cookbook for using the model-view-controller user interface paradigm in smalltalk-80
-
G.E. Krasner and S.T. Pope, "A Cookbook for Using the Model-View-Controller User Interface Paradigm in Smalltalk-80," Journal of Object-Oriented Programming, vol. 1, pp. 26-49, 1988.
-
(1988)
Journal of Object-Oriented Programming
, vol.1
, pp. 26-49
-
-
Krasner, G.E.1
Pope, S.T.2
-
21
-
-
84901657103
-
Building user and expert models by long-term observation of application usage
-
Springer Wien, New York., Banff, Canada
-
F. Linton, D. Joy, and H.-P. Schaefer, "Building User and Expert Models by Long-Term Observation of Application Usage," User Modeling: Proceedings of the Seventh International Conference, Springer Wien, New York. pp. 129-138, Banff, Canada, 1999.
-
(1999)
User Modeling: Proceedings of the Seventh International Conference
, pp. 129-138
-
-
Linton, F.1
Joy, D.2
Schaefer, H.-P.3
-
22
-
-
0029545597
-
Multilanguage interoperability in distributed systems
-
Berlin Germany
-
M.J. Maybee, D.M. Heimbigner, and L.J. Osterweil, "Multilanguage Interoperability in Distributed Systems," 18th International Conference on Software Engineering, pp. 451-463, Berlin Germany, 1996.
-
(1996)
18th International Conference on Software Engineering
, pp. 451-463
-
-
Maybee, M.J.1
Heimbigner, D.M.2
Osterweil, L.J.3
-
24
-
-
0012086937
-
Pushdown automata for user interface management
-
D.R. Olsen Jr., "Pushdown Automata for User Interface Management," ACM Transactions on Graphics, vol. 3, pp. 177-203, 1984.
-
(1984)
ACM Transactions on Graphics
, vol.3
, pp. 177-203
-
-
Olsen D.R., Jr.1
-
25
-
-
0012023168
-
-
vol. OMG TC Document 95.3.xx, Revised 1.8 ed. Framingham MA: Object Management Group
-
OMG, CORBA 2.0/Interoperability, vol. OMG TC Document 95.3.xx, Revised 1.8 ed. Framingham MA: Object Management Group, 1995.
-
(1995)
CORBA 2.0/Interoperability
-
-
-
27
-
-
33744648889
-
A process-object centered view of software environment architecture
-
Springer-Verlag, Trondheim
-
L.J. Osterweil, "A Process-Object Centered View of Software Environment Architecture," Advanced Programming Environments, Lecture Notes in C.S., vol. 244, Springer-Verlag. pp. 156-174, Trondheim, 1986.
-
(1986)
Advanced Programming Environments, Lecture Notes in C.S.
, vol.244
, pp. 156-174
-
-
Osterweil, L.J.1
-
28
-
-
0025452123
-
Connecting tools using message passing in the FIELD environment
-
S.P. Reiss, "Connecting Tools Using Message Passing in the FIELD Environment," IEEE Software, vol. 7, pp. 57-67, 1990.
-
(1990)
IEEE Software
, vol.7
, pp. 57-67
-
-
Reiss, S.P.1
-
31
-
-
0029333633
-
APPL/A: A language for software-process programming
-
S.M. Sutton Jr., D. Heimbigner, and L.J. Osterweil, "APPL/A: A Language for Software-Process Programming," ACM Transactions on Software Engineering and Methodology, vol. 4, pp. 221-286, 1995.
-
(1995)
ACM Transactions on Software Engineering and Methodology
, vol.4
, pp. 221-286
-
-
Sutton S.M., Jr.1
Heimbigner, D.2
Osterweil, L.J.3
-
32
-
-
84976793827
-
Meta-operations in the process model HFSP for the dynamics and flexibility of software processes
-
IEEE Computer Society Press, Redondo Beach, California
-
M. Suzuki and T. Katayama, "Meta-Operations in the Process Model HFSP for the Dynamics and Flexibility of Software Processes," First International Conference on the Software Process, IEEE Computer Society Press. pp. 202-217, Redondo Beach, California, 1991.
-
(1991)
First International Conference on the Software Process
, pp. 202-217
-
-
Suzuki, M.1
Katayama, T.2
-
33
-
-
84929670739
-
Real theorem provers deserve real user-interfaces
-
L. Thery, Y. Bertot, and G. Kahn, "Real Theorem Provers Deserve Real User-Interfaces," Fifth ACM SIGSOFT Symposium on Software Development Environments, pp. 120-129, 1992.
-
(1992)
Fifth ACM SIGSOFT Symposium on Software Development Environments
, pp. 120-129
-
-
Thery, L.1
Bertot, Y.2
Kahn, G.3
-
34
-
-
0023998106
-
Abstract interaction tool: A language for user-interface management systems
-
J. van den Bos, "Abstract Interaction Tool: a Language for User-Interface Management Systems," ACM Transactions on Programming Languages and Systems, vol. 10, pp. 215-247, 1988.
-
(1988)
ACM Transactions on Programming Languages and Systems
, vol.10
, pp. 215-247
-
-
Van den Bos, J.1
-
35
-
-
84994682885
-
Tool integration in software engineering environments
-
France
-
A.I. Wasserman, "Tool Integration in Software Engineering Environments," Software Engineering Environments, pp. 137-149, France 1989, 1990.
-
(1989)
Software Engineering Environments
, pp. 137-149
-
-
Wasserman, A.I.1
-
36
-
-
0010466346
-
-
Department of Computer Science, University of Massachusetts at Amherst, Technical Report 98-24, April
-
A. Wise, "Little-JIL 1.0 Language Report," Department of Computer Science, University of Massachusetts at Amherst, Technical Report 98-24, April 1998.
-
(1998)
Little-JIL 1.0 Language Report
-
-
Wise, A.1
-
37
-
-
0012022539
-
-
Department of Computer Science, University of Massachusetts at Amherst, Technical Report 99-71, Revised November
-
A. Wise, B.S. Lerner, E.K. McCall, L.J. Osterweil, and J. Stanley M. Sutton, "Specifying Coordination in Processes Using Little-JIL," Department of Computer Science, University of Massachusetts at Amherst, Technical Report 99-71, Revised November 1999.
-
(1999)
Specifying Coordination in Processes Using Little-JIL
-
-
Wise, A.1
Lerner, B.S.2
McCall, E.K.3
Osterweil, L.J.4
Sutton, J.S.M.5
|