The Effects of Layering and Encapsulation on Software Development Cost and Quality
IEEE Transactions on Software Engineering
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
IEEE Transactions on Software Engineering
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Representation Inheritance: A Safe Form of "White Box" Code Inheritance
IEEE Transactions on Software Engineering
A framework for application generator design
Proceedings of the 1997 symposium on Software reusability
Portability and reusability: common issues and differences
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
WISR8: 8th annual workshop on software reuse: summary and working group reports
ACM SIGSOFT Software Engineering Notes
Providing intellectual focus to CS1/CS2
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Teaching software architecture principles in CS1/CS2
ISAW '98 Proceedings of the third international workshop on Software architecture
Formal specification of COTS-based software: a case study
SSR '99 Proceedings of the 1999 symposium on Software reusability
Experience report: using RESOLVE/C++ for commercial software
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Do we really teach abstraction?
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Binary software components in the undergraduate computer science curriculum
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Performance specification of software components
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Refinement of Z specifications using reusable software components in Ada
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
A formal approach to component-based software engineering: education and evaluation
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A system for predictable component-based software construction
High integrity software
Design guidelines for the lab component of objects-first CS1
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Component-based derivation of a parallel stiff ODE solver implemented in a cluster of computers
International Journal of Parallel Programming
A Component Model for Perspective Management of Enterprise Software Reuse
Annals of Software Engineering
Component-Based Derivation of a Parallel Stiff ODE Solver Implemented in a Cluster of Computers
International Journal of Parallel Programming
Recasting Algorithms to Encourage Reuse
IEEE Software
Systematic Formulation of Non-Functional Characteristics of Software
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Layered Development with (Unix) Dynamic Libraries
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
A Data Abstraction Alternative to Data Structure/Algorithm Modularization
Selected Papers from the International Seminar on Generic Programming
Resource Function Capture for Performance Aspects of Software Components and Sub-Systems
Performance Engineering, State of the Art and Current Trends
A Case Study Approach to Teaching Component Based Software Engineering
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Components-first approaches to CS1/CS2: principles and practice
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
Model variables: cleanly supporting abstraction in design by contract: Research Articles
Software—Practice & Experience
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
A specification-based approach to reasoning about pointers
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Simplifying reasoning about objects with Tako
Proceedings of the 2006 conference on Specification and verification of component-based systems
A project approach to the theory of programming languages
Journal of Computing Sciences in Colleges
Incremental computation of shortest paths in semi-dynamic graphs using software components
Proceedings of the 44th annual Southeast regional conference
Serfs: Dynamically-bound parameterized components
Journal of Systems and Software
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Injecting rapid feedback and collaborative reasoning in teaching specifications
Proceedings of the 40th ACM technical symposium on Computer science education
Compositional performance prediction exemplified using generic object finalization analysis
Proceedings of the 47th Annual Southeast Regional Conference
Traditional assignment considered harmful
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
EUROMICRO-PDP'02 Proceedings of the 10th Euromicro conference on Parallel, distributed and network-based processing
The location linking concept: a basis for verification of code using pointers
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Automatically proving thousands of verification conditions using an SMT solver: an empirical study
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
A systematic approach to teaching abstraction and mathematical modeling
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Hi-index | 0.01 |