Matthew Flatt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged software engineering

Semantics Engineering with PLT RedexMatthias Felleisen, Robby Findler, Matthew Flatt. MIT Press, 2009.

31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion VolumeIEEE, 2009.

31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, ProceedingsIEEE, 2009.

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE 2009), Boston, Massachusetts, USA, July 1-3, 2009Knowledge Systems Institute Graduate School, 2009.

23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, ItalyIEEE, 2008.

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), San Francisco, CA, USA, July 1-3, 2008Knowledge Systems Institute Graduate School, 2008.

29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion VolumeIEEE Computer Society, 2007.

29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007IEEE Computer Society, 2007.

Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in HamburgWolf-Gideon Bleek, Jörg Raasch, Heinz Züllighoven, editors, Volume 105 of LNI, GI, 2007.

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UKIEEE Computer Society, 2007.

20th Conference on Software Engineering Education and Training (CSEE&T 2007), 3-5 July 2007, Dublin, IrelandIEEE Computer Society, 2007.

18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, AustraliaIEEE Computer Society, 2007.

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2007), Boston, Massachusetts, USA, July 9-11, 2007Knowledge Systems Institute Graduate School, 2007.

21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, JapanIEEE Computer Society, 2006.

Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected PapersNicolas Guelfi, Anthony Savidis, editors, Volume 3943 of Lecture Notes in Computer Science, Springer, 2006.

17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, AustraliaIEEE Computer Society, 2006.

Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USAIEEE Computer Society, 2005.

Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected PapersNicolas Guelfi, editor, Volume 3475 of Lecture Notes in Computer Science, Springer, 2005.

26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United KingdomIEEE Computer Society, 2004.

Software Product-Family Engineering, 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised PapersVolume 3014 of Lecture Notes in Computer Science, Springer, 2004.

11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, KoreaIEEE Computer Society, 2004.

11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The NetherlandsIEEE Computer Society, 2004.

Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USAIEEE Computer Society, 2003.

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003ACM, 2003.

18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, CanadaIEEE Computer Society, 2003.

16th Conference on Software Engineering Education and Training (CSEE&T 2003), 20-22 March 2003, Madrid, SpainIEEE Computer Society, 2003.

Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, ProceedingsChris George, Huaikou Miao, editors, Volume 2495 of Lecture Notes in Computer Science, Springer, 2002.

Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USAACM, 2002.

Software Product-Family Engineering, 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001, Revised PapersFrank van der Linden, editor, Volume 2290 of Lecture Notes in Computer Science, Springer, 2002.

17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UKIEEE Computer Society, 2002.

What makes good research in software engineering?Mary Shaw. STTT, 4(1):1-7, 2002. [doi]

Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, CanadaIEEE Computer Society, 2001.

Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, ProceedingsHeinrich Hußmann, editor, Volume 2029 of Lecture Notes in Computer Science, Springer, 2001.

16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USAIEEE Computer Society, 2001.

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2001), Sheraton Buenos Aires Hotel, Buenos Aires, Argentina, June 13-15, 20012001.

Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, ProceedingsT. S. E. Maibaum, editor, Volume 1783 of Lecture Notes in Computer Science, Springer, 2000.

Software engineering education: a roadmapMary Shaw. ICSE 2000: 371-380 [doi]

12th Australian Software Engineering Conference (ASWEC 2000), 28-30 April 2000, Canberra, AustraliaIEEE Computer Society, 2000.

1998 Australian Software Engineering Conference (ASWEC 98), 9-13 November 1998, Adelaide, AustraliaIEEE Computer Society, 1998.

1997 Australian Software Engineering Conference (ASWEC 97), 28 September - 2 October 1997, Sydney, AustraliaIEEE Computer Society, 1997.

3rd Asia-Pacific Software Engineering Conference (APSEC 96), December 4-7, 1996, Seoul, South KoreaIEEE Computer Society, 1996.

1996 Australian Software Engineering Conference (ASWEC 96), July 14-18, 1996, Melbourne, AustraliaIEEE Computer Society, 1996.

2nd Asia-Pacific Software Engineering Conference (APSEC 95), December 6-9, 1995, Brisbane, Queensland, AustraliaIEEE Computer Society, 1995.

Putting Engineering into Software Engineering (Abstract)Mary Shaw. acm 1994: 417 [doi]

Software Engineering - ESEC 93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, ProceedingsIan Sommerville, Manfred Paul, editors, Volume 717 of Lecture Notes in Computer Science, Springer, 1993.

Software Engineering Education, SEI Conference, 1992, ProceedingsCarol A. Sledge, editor, Volume 640 of Lecture Notes in Computer Science, Springer, 1992.

ESEC 91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, ProceedingsAxel van Lamsweerde, Alfonso Fugetta, editors, Volume 550 of Lecture Notes in Computer Science, Springer, 1991.

Software Engineering Education, SEI Conference, Pittsburgh, Pennsylvania, USA, October7-8, 1991, ProceedingsJames E. Tomayko, editor, Volume 536 of Lecture Notes in Computer Science, Springer, 1991.

Prospects for an Engineering Discipline of SoftwareMary Shaw. IEEE Software, 7(6):15-24, 1990.

SEKE 90, Proceedings of the Second International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 21-23, 1990Knowledge Systems Institute, 1990.

runs on WebDSL