Team dynamics in student programming projects
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Talking through design: requirements and resistance in cooperative prototyping
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Strategies for incorporating formal specifications in software development
Communications of the ACM
The Effects of Layering and Encapsulation on Software Development Cost and Quality
IEEE Transactions on Software Engineering
Implementing a set of guidelines for CS majors in the production of program code
ACM SIGCSE Bulletin
Experience integrating a formal method into a software engineering course
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Simulation in support of software development
WSC '93 Proceedings of the 25th conference on Winter simulation
SAAM: a method for analyzing the properties of software architectures
ICSE '94 Proceedings of the 16th international conference on Software engineering
Portability and reusability: common issues and differences
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
Software development process: strategies for handling business rules and requirements
ACM SIGSOFT Software Engineering Notes
Decidable verification for reducible timed automata specified in a first order logic with time
Theoretical Computer Science
On coping with real-time software dynamic inconsistency by built-in tests
Annals of Software Engineering
Annals of Software Engineering
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
Automated Software Engineering
A Concept Formation Based Approach to Object Identification in Procedural Code
Automated Software Engineering
A Missing Link in Software Engineering
IEEE Software
The Ragnarok software development environment
Nordic Journal of Computing
The WebConsultant - a Flexible Framework for Dynamic Web Applications
EC-WEB '00 Proceedings of the First International Conference on Electronic Commerce and Web Technologies
The human-computer interaction handbook
Communication infrastructure in distributed scheduling
Computers and Industrial Engineering - 26th International conference on computers and industrial engineering
Encapsulating Empirical Practices within the Software Engineering Curriculum
CSEET '97 Proceedings of the 10th Conference on Software Engineering Education and Training
Evaluating the Impact of Object-Oriented Design on Software Quality
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
A Software Engineering Subject on System Description Techniques
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Using Ada as the First Programming Language: A Retrospective
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Laboratory practice with software quality assurance
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Treatment of Metaphors in Software Engineering Education
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Evaluating dynamic correctness properties of domain reference architectures
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Can Thomas Kuhn's paradigms help us understand software engineering?
European Journal of Information Systems - Special issue: "Interpretive" approaches to information systems and computing
FASIL email summarisation system
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Accelerating time to market by reducing system test time
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Human-Computer Interaction
Developing usability studies via formal models of UIs
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Host frame user interface and its architecture
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
Modeling and negotiating service quality
Service research challenges and solutions for the future internet
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
The institutionalization of information system project management practices
Information and Organization
Hi-index | 0.02 |