|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
M. Ainsworth, A.H. Cruickshank, L.J. Groves, and P. J. L. WaUis. Viewpoint specification and Z. Information and Software Technology, 36(1):43-51, February 1994.
|
| |
2
|
A.S. Evans and A.N.Clark. Foundations of the unified modeling language. In 2nd Northern Formal Methods Workshop, Ilkley, Electronic Workshops in Computing. Springer- Verlag, 1998.
|
| |
3
|
Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994.
|
| |
4
|
|
| |
5
|
|
 |
6
|
|
| |
7
|
Derek Coleman , Patrick Arnold , Stephanie Bodoff , Chris Dollin , Helena Gilchrist , Fiona Hayes , Paul Jeremaes, Object-oriented development: the fusion method, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
|
| |
8
|
Guang-Ien Cheng , Mingdong Feng , Charles E. Leiserson , Keith H. Randall , Andrew F. Stark, Detecting data races in Cilk programs that use locks, Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures, p.298-309, June 28-July 02, 1998, Puerto Vallarta, Mexico
[doi> 10.1145/277651.277696]
|
| |
9
|
Ramkrishna Chatterjee , Barbara G. Ryder , William A. Landi, Relevant context inference, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-146, January 20-22, 1999, San Antonio, Texas, United States
[doi> 10.1145/292540.292554]
|
| |
10
|
Christian Collberg , Clark Thomborson , Douglas Low, Manufacturing cheap, resilient, and stealthy opaque constructs, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.184-196, January 19-21, 1998, San Diego, California, United States
[doi> 10.1145/268946.268962]
|
| |
11
|
D. Deflefs, K. R. Leino, G. Nelson, and J. Saxe. Extended static checking. Technical Report 159, Compaq Systems Research Center, 1998.
|
| |
12
|
|
| |
13
|
Maryam Emami , Rakesh Ghiya , Laurie J. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.242-256, June 20-24, 1994, Orlando, Florida, United States
|
| |
14
|
A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: a framework for integrating multiple perspectives in system development. International Journal on Software Engineering and Knowledge Engineering. Special issue on Trends and Research Directions in Software Engineering Environments, 2( 1):31-58, March 1992.
|
| |
15
|
Manuel Fähndrich , Jeffrey S. Foster , Zhendong Su , Alexander Aiken, Partial online cycle elimination in inclusion constraint graphs, Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, p.85-96, June 17-19, 1998, Montreal, Quebec, Canada
|
| |
16
|
|
| |
17
|
Rakesh Ghiya , Laurie J. Hendren, Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-15, January 21-24, 1996, St. Petersburg Beach, Florida, United States
[doi> 10.1145/237721.237724]
|
| |
18
|
|
| |
19
|
William Harrison , Harold Ossher, Subject-oriented programming: a critique of pure objects, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.411-428, September 26-October 01, 1993, Washington, D.C., United States
|
| |
20
|
|
| |
21
|
|
| |
22
|
|
| |
23
|
Daniel Jackson. Alloy: A Lightweight Object Modelling Notation. Technical Report 797, MIT Laboratory for Computer Science, Cambridge, Mass, February 2000. Available at: http://sdg.lcs.mit.edu/Ndnj/ abstracts.html#alloy.
|
| |
24
|
Daniel Jackson. Alcoa: Alloy Constraint Analyzer. Tool examples and documentation available at:: http://sdg.lcs.mit.edu/alcoa.
|
| |
25
|
|
| |
26
|
|
| |
27
|
|
| |
28
|
|
| |
29
|
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. VI Lopes, J. Loingtier and J. Irwin, Aspect-Oriented Programming. Proceedings of European Conference on Object-Oriented Programming (ECOOP 97), pp. 220-242.
|
| |
30
|
|
| |
31
|
|
| |
32
|
|
| |
33
|
Gail C. Murphy , David Notkin , Kevin Sullivan, Software reflexion models: bridging the gap between source and high-level models, Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, p.18-28, October 12-15, 1995, Washington, D.C., United States
|
| |
34
|
|
| |
35
|
|
| |
36
|
Precise UML Group. http:/ Iwww.cs. york.ac.uk/36/.
|
| |
37
|
|
| |
38
|
|
| |
39
|
|
| |
40
|
|
| |
41
|
Martin Rinard and John Whaley. Compositional pointer and escape analysis for multithreaded Java programs. Technical Report MIT-LCS-TR-795, Laboratory for Computer Science, Massachusetts Ingtitute of Technology, November 1999.
|
| |
42
|
Stefan Savage , Michael Burrows , Greg Nelson , Patrick Sobalvarro , Thomas Anderson, Eraser: a dynamic data race detector for multi-threaded programs, Proceedings of the sixteenth ACM symposium on Operating systems principles, p.27-37, October 05-08, 1997, Saint Malo, France
|
| |
43
|
|
| |
44
|
|
| |
45
|
|
| |
46
|
|
| |
47
|
|
| |
48
|
|
| |
49
|
|
CITED BY 8
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Javier Andrade , Juan Ares , Rafael García , Juan Pazos , Santiago Rodríguez , Andrés Silva, A Methodological Framework for Viewpoint-Oriented Conceptual Modeling, IEEE Transactions on Software Engineering, v.30 n.5, p.282-294, May 2004
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2