Mark A. Ardis

According to our database1, Mark A. Ardis authored at least 33 papers between 1979 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering.
Computer, 2015

Using GSwE2009 for the Evaluation of a Master Degree in Software Engineering in the Universidad de la República.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013
Creating a Marketplace for Multidisciplinary Multi-university Systems Engineering Capstone Projects.
Proceedings of the Conference on Systems Engineering Research, 2013

Revision of the SE 2004 curriculum model.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Town hall discussion of SE 2004 revisions (panel).
Proceedings of the 35th International Conference on Software Engineering, 2013

Workshop on revisions to SE 2004.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

Recent Trends in Graduate Software Engineering.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

Using GSwE2009 in the creation and modification of graduate software engineering programs and related curricula.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012
Software engineering education (SEEd): is software engineering ready for MOOCs?
ACM SIGSOFT Softw. Eng. Notes, 2012

Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes, 2012

Infusing software assurance and secure coding into introductory CS courses (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

2011
Advancing Software Engineering Professional Education.
IEEE Softw., 2011

The Development of a Graduate Curriculum for Software Assurance.
Proceedings of the A Renaissance of Information Technology for Sustainability and Global Competitiveness. 17th Americas Conference on Information Systems, 2011

2010
Software engineering education (SEEd).
ACM SIGSOFT Softw. Eng. Notes, 2010

Development of a Master of Software Assurance Reference Curriculum.
Int. J. Secur. Softw. Eng., 2010

2005
Using peer review in teaching computing.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2000
Software product lines: a case study.
Softw. Pract. Exp., 2000

Domain engineered configuration control.
Proceedings of the Software Product Lines; Experiences and Research Directions, 2000

1999
Defining Families - Commonality Analysis.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Jargons for domain engineering.
Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998
Successful introduction of domain engineering into software development.
Bell Labs Tech. J., 1998

1997
Formal Methods for Telecommunication System Requirements: A Survey of Standardized Languages.
Ann. Softw. Eng., 1997

Defining Families: The Commonality Analysis (Tutorial).
Proceedings of the Pulling Together, 1997

1996
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.
IEEE Trans. Software Eng., 1996

1994
Lessons from Using Basic LOTOS.
Proceedings of the 16th International Conference on Software Engineering, 1994

1993
Research and Development: Differences are Barriers to Transfer.
Proceedings of the Diffusion, 1993

1992
Are formal methods useful for software development?
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1989
SEI Report on Graduate Software Engineering Education.
Proceedings of the Software Engineering Education, 1989

1988
SEI Report: The Design of an MSE Curriculum.
Proceedings of the Software Engineering Education, 1988

1987
The Evolution of Wang Institute's Master of Software Engineering Program.
IEEE Trans. Software Eng., 1987

1985
Comparison of algebraic and state-machine specification methods.
Proceedings of an International Workshop on the Software Process and Software Environments, 1985

1980
Testing traversable stacks.
ACM SIGPLAN Notices, 1980

1979
Specifications of reliable software - what next?
ACM SIGSOFT Softw. Eng. Notes, 1979


  Loading...