A technique for software module specification with examples
Communications of the ACM
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
A course on software engineering techniques
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
A View of Programming Languages (Addison-Wesley Series in Computer Science and Information Pr)
A View of Programming Languages (Addison-Wesley Series in Computer Science and Information Pr)
A Formal Method for the Abstract Specification of Software
Journal of the ACM (JACM)
Magma2: a language oriented toward experiments in control
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
On time and space decomposition of complex structures
Communications of the ACM
Paradigms for design and implementation in ADA
Communications of the ACM
Microcode development tools for a capability-based processor
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
The microarchitecture of a capability-based computer
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
Jasmine: a software system modelling facility
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A knowledge-based system for computer algebra
ACM SIGSAM Bulletin
Characteristics and functions of software environments: an overview
ACM SIGSOFT Software Engineering Notes
Toward a general object-oriented software development methodology
ACM SIGAda Ada Letters
Communications of the ACM
Designing large real-time systems with Ada
Communications of the ACM
Server networks communicating via inter-user shared variables
APL '87 Proceedings of the international conference on APL: APL in transition
Introducing object-oriented programming into the computer science curriculum
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
XC- A language for embedded rule based systems
ACM SIGPLAN Notices
CHAOS- kernel support for objects in the real-time domain
IEEE Transactions on Computers - Special Issue on Real-Time Systems
The making of VIVID: a software engineering perspective
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
MELDing data flow and object-oriented programming
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Implementation strategies for DIANA attributes
ACM SIGPLAN Notices
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A comparison of four design methods for real-time systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Cost/benefit analysis for incorporating human factors in the software lifecycle
Communications of the ACM
Knowledge engineering for software design
ACM SIGSOFT Software Engineering Notes
The DUNIX distributed operating system
ACM SIGOPS Operating Systems Review
ACM SIGPLAN Notices
Applying Synthesis Principles to Create Responsive Software Systems
IEEE Transactions on Software Engineering
Constructing Submodule Specifications and Network Protocols
IEEE Transactions on Software Engineering
Scope and access classes in APL
APL '88 Proceedings of the international conference on APL
Enhancing program readability and comprehensibility with tools for program visualization
ICSE '88 Proceedings of the 10th international conference on Software engineering
The role of opaque types to build abstractions
ACM SIGPLAN Notices
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Multiprocessor architectures are converging
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Distributed System Software Design Paradigm with Application to Computer Networks
IEEE Transactions on Software Engineering
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
An object-oriented structured design method for code generation
ACM SIGSOFT Software Engineering Notes
Design issues and team support: experiences of an Ada tool vendor
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Software development: state of the art vs. state of the practice
ICSE '89 Proceedings of the 11th international conference on Software engineering
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
The use of lexical affinities in requirements extraction
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Case Study in Structure Specification: a Grid Description of Scribe
IEEE Transactions on Software Engineering
Journal of the ACM (JACM)
Control and Definition Modularization: an Improved Software Design Technique for Organizing Programs
IEEE Transactions on Software Engineering
Software Size Estimation of Object-Oriented Systems
IEEE Transactions on Software Engineering
On Criteria for Module Interfaces
IEEE Transactions on Software Engineering
The object-oriented systems life cycle
Communications of the ACM
Evaluating Software Design Processes by Analyzing Change Data Over Time
IEEE Transactions on Software Engineering
The Evolution Support Environment System
IEEE Transactions on Software Engineering
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Reconciling environment integration and component independence
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A procedure and tools for transition engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
An extension of standard ML modules with subtyping and inheritance
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Ada tasking as a tool for ecological modelling
ACM SIGAda Ada Letters
A software tool for modular database design
ACM Transactions on Database Systems (TODS)
Impacts of life cycle models on software configuration management
Communications of the ACM
A model for measuring information system size
MIS Quarterly
Structured analysis and object-oriented design are compatible
ACM SIGAda Ada Letters
Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams
ACM SIGAda Ada Letters
A comparison of module constructs in programming languages
ACM SIGPLAN Notices
Semi-Automatic Program Construction from Specifications Using Library Modules
IEEE Transactions on Software Engineering
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
An Automated Approach to Information Systems Decomposition
IEEE Transactions on Software Engineering
Design and implementation of a requirements clustering analyzer for software system decomposition
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Analysis and experience with an Information System development methodology
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
The case for case studies of programming problems
Communications of the ACM
Computer-aided vs. manual program restructuring
ACM SIGSOFT Software Engineering Notes
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
A modification of the process interaction world view
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Communications of the ACM
A measure for composite module cohesion
ICSE '92 Proceedings of the 14th international conference on Software engineering
Programming-in-the-large: past, present, and future
ICSE '92 Proceedings of the 14th international conference on Software engineering
Towards compatible primitive structures
Journal of Experimental & Theoretical Artificial Intelligence - Special issue: conceptual graphs workshop
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Retrieving reusable software by sampling behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
BATCES solution #1: an object-oriented design from functional requirements analysis
ACM SIGAda Ada Letters
Is object-oriented programming structured programming?
ACM SIGPLAN Notices
Direct update of data flow representations for a meaning-preserving program restructuring tool
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Deriving modular designs from formal specifications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Automating the Ada programming process: a domain-specific approach
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Christopher Alexander: an introduction for object-oriented designers
ACM SIGSOFT Software Engineering Notes
A Parallel Virtual Machine for Programs Composed of Abstract Data Types
IEEE Transactions on Computers
BITS: a smartcard protected operating system
Communications of the ACM
A taxonomy of software development methods
Communications of the ACM
ACM SIGMOD Record
Teaching a first course on data structures: a software engineering approach
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Professional literacy: labs for advanced programming courses
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Introducing Object Orientation into Large and Complex Systems
IEEE Transactions on Software Engineering
Automated support for encapsulating abstract data types
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on software architecture
Research directions in software reuse: where to go from here?
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Models and languages for component description and reuse
ACM SIGSOFT Software Engineering Notes
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Computer
The design of whole-program analysis tools
Proceedings of the 18th international conference on Software engineering
Proceedings of the 18th international conference on Software engineering
An evaluation of software test environment architectures
Proceedings of the 18th international conference on Software engineering
Property-Based Software Engineering Measurement
IEEE Transactions on Software Engineering
Evaluating The Mediator Method: Prism as a Case Study
IEEE Transactions on Software Engineering
The interaction of social issues and software architecture
Communications of the ACM
Creating host compliance in a portable framework: a study in the reuse of design patterns
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Tool support for planning the restructuring of data abstractions in large systems
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Just-in-time architecture: planning software in an uncertain world
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Software design: the options approach
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Toward boxology: preliminary classification of architectural styles
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
What makes one software architecture more testable than another?
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Toward a generic framework for computing subsystem interfaces
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Towards a unified event-based software architecture
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Advances in Software Engineering
Computer
Open implementation design guidelines
ICSE '97 Proceedings of the 19th international conference on Software engineering
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
Combining object-oriented and functional paradigms in a design methodology for Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
SAAM: a method for analyzing the properties of software architectures
ICSE '94 Proceedings of the 16th international conference on Software engineering
Open implementation analysis and design
Proceedings of the 1997 symposium on Software reusability
OOSPEC: an executable object-oriented specification language
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Challenges for future real-time operating systems
FORTH '90 and '91 Proceedings of the second and third annual workshops on Forth
Program fragments, linking, and modularization
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design issues in computer science education
ACM SIGCSE Bulletin
Supporting the restructuring of data abstractions through manipulation of a program visualization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Successful software engineering research
ACM SIGSOFT Software Engineering Notes
An Evaluation of the MOOD Set of Object-Oriented Software Metrics
IEEE Transactions on Software Engineering
Effective whole-program analysis in the presence of pointers
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Recomposition: putting it all back together again
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Splitting the organization and integrating the code: Conway's law revisited
Proceedings of the 21st international conference on Software engineering
Avoiding packaging mismatch with flexible packaging
Proceedings of the 21st international conference on Software engineering
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Supporting industrial hyperwebs: lessons in scalability
Proceedings of the 21st international conference on Software engineering
GAME: an object-oriented approach to computer animation in flexible manufacturing system modelling
ANSS '91 Proceedings of the 24th annual symposium on Simulation
The impact of object-orientation on application development
IBM Systems Journal
A model of design representation and synthesis
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Criteria for software modularization
ICSE '85 Proceedings of the 8th international conference on Software engineering
The geography of coordination: dealing with distance in R&D work
GROUP '99 Proceedings of the international ACM SIGGROUP conference on Supporting group work
Subject-oriented design: towards improved alignment of requirements, design, and code
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The design of a PDL environment
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
An adaptable and distributed load adjustment algorithm
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A comparison of two object-oriented design methodologies (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
Software engineering/professional writing: an interdisciplinary course combination
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
Software engineering for rule-based systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Technological advances in software engineering
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantics-preserving procedure extraction
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
HOOD design method and control/command techniques for the develpment of realtime software
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
A software design method for Ada based real time systems
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Software development for the Space Station Freedom Program in the year 2000
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Software engineering tools and environments: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Proceedings of the Conference on The Future of Software Engineering
Hyper/J: multi-dimensional separation of concerns for Java
Proceedings of the 22nd international conference on Software engineering
Workshop on multi-dimensional separation of concerns in software engineering (workshop session)
Proceedings of the 22nd international conference on Software engineering
Two object oriented decomposition methods
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Layered virtual machine/object-oriented design
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
PIROL: a case study for multidimensional separation of concerns in software engineering environments
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Design of the XMP Linear Programming Library
ACM Transactions on Mathematical Software (TOMS)
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Experience Using Multiprocessor Systems—A Status Report
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Specification of Abstract Data Types in Modula
ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
The operational versus the conventional approach to software development
Communications of the ACM
Visibility aspects of programmed dynamic data structures
Communications of the ACM
A software design method for real-time systems
Communications of the ACM
Program design by informal English descriptions
Communications of the ACM
Modularity and the sequential file update problem
Communications of the ACM
On the inevitable intertwining of specification and implementation
Communications of the ACM
A Fortran programming methodology based on data abstraction
Communications of the ACM
Medusa: an experiment in distributed operating system structure
Communications of the ACM
Communications of the ACM
Structured programming in Cobol: an approach for application programmers
Communications of the ACM
An example of hierarchical design and proof
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
Communications of the ACM
Aspect-oriented frameworks (poster session): the design of adaptable operating systems
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Towards a two-dimensional separation of concerns (poster session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Comparing frameworks and layered refinement
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Hyper/J: multi-dimensional separation of concerns for Java
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Engineering processes in managing software system development
ACM SIGCPR Computer Personnel
Aspect-oriented programming: Introduction
Communications of the ACM
Using multidimensional separation of concerns to (re)shape evolving software
Communications of the ACM
Analyzing the role of aspects in software design
Communications of the ACM
Using aspectC to improve the modularity of path-specific customization in operating system code
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The structure and value of modularity in software design
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
WREN---an environment for component-based development
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
User-computer interaction employing block mode data transfer
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Information hiding, the Intel iAPX 432,and Ada
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Functional specialization in distributed operating systems
EW 3 Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?
Automatic architectual clustering of software
Advances in software engineering
Workshop on multi-dimensional separation of concerns in software engineering
ACM SIGSOFT Software Engineering Notes
Managing crosscutting concerns during software evolution tasks: an inquisitive study
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Modeling of software concerns in Cosmos
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
A modular approach to build structured event-based systems
Proceedings of the 2002 ACM symposium on Applied computing
Procedure linkage optimization working paper
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algorithms and object-oriented programming: bridging the gap
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Support for subtyping and code re-use in Timor
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Formal methods for distributed processing
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Experience with an applicative string processing language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Carrier arrays: an idiom-preserving extension to APL
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Architectural concerns in distributed and mobile collaborative systems
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Data abstraction and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
A goal-driven approach to enterprise component identification and specification
Communications of the ACM
Proceedings of the 24th International Conference on Software Engineering
Concern graphs: finding and describing concerns using structural program dependencies
Proceedings of the 24th International Conference on Software Engineering
Hyper/J™: multi-dimensional separation of concerns for Java™
Proceedings of the 24th International Conference on Software Engineering
Taming access control security: extending capabilities using the views relationship
Software—Practice & Experience
The measurement of software design quality
Annals of Software Engineering
Modeling software evolution by evolving interoperation graphs
Annals of Software Engineering
Views and Patterns in E-Commerce Application Design
Annals of Software Engineering
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
Fundamental Laws and Assumptions of Software Maintenance
Empirical Software Engineering
How Software Engineering Tools Organize Programmer BehaviorDuring the Task of Data Encapsulation
Empirical Software Engineering
Practical perspectives on software architectures, high-level design, and evolution
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Extending the object model to provide explicit support for crosscutting concerns
Software—Practice & Experience
Extending standard UML with model composition semantics
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
On the intrinsic value of informationobjects and the infosphere
Ethics and Information Technology
IEEE Annals of the History of Computing
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Flexibility as a Design Driver
Computer
Optimizing Multiple EDA Tools within the ASIC Design Flow
IEEE Design & Test
An Icon-Based Design Method for Prolog
IEEE Software
Recasting Algorithms to Encourage Reuse
IEEE Software
Survival of the Fastest: Improving Service Velocity
IEEE Software
Why Bad Things Happen to Good Projects
IEEE Software
Toward a Discipline of Software Engineering
IEEE Software
Scenario-Based Analysis of Software Architecture
IEEE Software
Commonality and Variability in Software Engineering
IEEE Software
Globalization by Chunking: A Quantitative Approach
IEEE Software
A Software Engineering Methodology for Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Program Structuring for Effective Parallel Portability
IEEE Transactions on Parallel and Distributed Systems
IEEE Expert: Intelligent Systems and Their Applications
Maintainability Techniques in Developing Large Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
An Automated Software Design Assistant
IEEE Transactions on Software Engineering
DEVS Formalism: A Framework for Hierarchical Model Development
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
IEEE Transactions on Software Engineering
A Method for Design and Performance Modeling of Client/Server Systems
IEEE Transactions on Software Engineering
A survey on software architecture analysis methods
IEEE Transactions on Software Engineering
Agile and scalable analysis of network events
Proceedings of the 2nd ACM SIGCOMM Workshop on Internet measurment
Data interfaces versus control interfaces: a half-baked conjecture
ACM SIGARCH Computer Architecture News
A distributed function computer for real-time control
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
IEEE Transactions on Knowledge and Data Engineering
JAsCo: an aspect-oriented approach tailored for component based software development
Proceedings of the 2nd international conference on Aspect-oriented software development
Automated testing of mySAP business processes: efficient usage of the SAP test workbench
Software quality and software testing in internet times
Comparison of CMM Level 2 and eXtreme Programming
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
Product Instantiation in Software Product Lines: A Case Study
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Aspect Composition Applying the Design by Contract Principle
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
A Version Model for Aspect Dependency Management
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Aspect-Oriented Configuration and Adaptation of Component Communication
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Building Composable Aspect-Specific Languages with Logic Metaprogramming
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Widening the Scope of Software Product Lines - From Variation to Composition
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
An Algebraic Framework for Separate Type-Checking
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Pragmatic Approach to Structured Database Design
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
The Architectural Style of Component Programming
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Integrating Independently-Developed Components in Object-Oriented Languages
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Gossip: An Awareness Engine for Increasing Product Awareness in Distributed Development Projects
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Engineering Event-Based Systems with Scopes
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
An Easily Extensible Toolset for Tabular Mathematical Expressions
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Component Libraries and Language Features
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
On Architectural Stability and Evolution
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Knowledge-Based Object-Oriented Software Engineering
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
JAC: A Flexible Solution for Aspect-Oriented Programming in Java
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Coping with Crosscutting Software Changes Using Information Transparency
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Collaboration-Based Design of SDL Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Automatic Construction of Validated B Components from Structured Developments
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A Data Abstraction Alternative to Data Structure/Algorithm Modularization
Selected Papers from the International Seminar on Generic Programming
Software Engineering in the Years 2000 Minus and Plus Ten
Informatics - 10 Years Back. 10 Years Ahead.
Capability-Based Financial Instruments
FC '00 Proceedings of the 4th International Conference on Financial Cryptography
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Qualifying Types Illustrated by Synchronisation Examples
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Systems engineering for business process change
Programming methodology
Use cases for distributed real-time software architectures
Engineering of distributed control systems
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Change impact analysis to support architectural evolution
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles
ACM SIGARCH Computer Architecture News
It is not time to define "structured programming"
ACM SIGOPS Operating Systems Review
A modular representation of the access control system
ACM SIGOPS Operating Systems Review
Some new transitions in hierarchical level structures
ACM SIGOPS Operating Systems Review
Modularity in the new millenium: a panel summary
Proceedings of the 25th International Conference on Software Engineering
Restructuring of COBOL/CICS legacy systems
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
An approach to building quality into software architecture
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
A theory model core for module interconnection languages
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Restricted object based design of event driven commercial software
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A defect prevention approach to architecture-based testing
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Historian's View of Software Engineering
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
On enhancing the interface to the source code of computer programs
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Structured machine design: An ongoing experiment
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Communication system design using ADA
ICSE '84 Proceedings of the 7th international conference on Software engineering
The modular structure of complex systems
ICSE '84 Proceedings of the 7th international conference on Software engineering
Extending APL: What more can a programmer ask for?
APL '82 Proceedings of the international conference on APL
Software engineering applied to computer-aided design (CAD) software development
DAC '81 Proceedings of the 18th Design Automation Conference
Interactive software development tool: ISDT
ICSE '81 Proceedings of the 5th international conference on Software engineering
A procedure for designing abstract interfaces for device interface modules
ICSE '81 Proceedings of the 5th international conference on Software engineering
The effect of modularization and comments on program comprehension
ICSE '81 Proceedings of the 5th international conference on Software engineering
Evaluation of a software requirements document by analysis of change data
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Strategies for data abstraction in LISP
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Writing device drivers: A systematic approach
SIGSMALL '80 Proceedings of the 3rd ACM SIGSMALL symposium and the first SIGPC symposium on Small systems
Module structure in an evolving family of real time systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
Software development control based on module interconnection
ICSE '79 Proceedings of the 4th international conference on Software engineering
An experiment in software engineering: The Architecture Research Facility as a case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
The use of a Module Interconnection Language in the SARA system design methodology
ICSE '79 Proceedings of the 4th international conference on Software engineering
TASK forces: Distributed software for solving problems of substantial size
ICSE '79 Proceedings of the 4th international conference on Software engineering
Topics in design automation data bases
DAC '78 Proceedings of the 15th Design Automation Conference
Software engineering in avionics applications
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Dynamic restructuring in an experimental operating system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Engineering A Program Optimizer
ACM '78 Proceedings of the 1978 annual conference
Teaching data abstraction to the practicing programmer: A case study
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
A quantitative assessment of IBM's programming productivity techniques
DAC '76 Proceedings of the 13th Design Automation Conference
DAC '76 Proceedings of the 13th Design Automation Conference
Language extensibility and program design
DAC '76 Proceedings of the 13th Design Automation Conference
DAC '76 Proceedings of the 13th Design Automation Conference
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
A course on software engineering techniques
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Namespaces semipermeable membranes for APL applications
APL '81 Proceedings of the international conference on APL
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
Levels of abstraction and compilers
ACM '76 Proceedings of the 1976 annual conference
A tool for enforcing system structure
ACM '73 Proceedings of the ACM annual conference
Extended polynomial algorithms
ACM '73 Proceedings of the ACM annual conference
Using tools for verification, documentation and testing
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Engineering a security kernel for Multics
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Architecture of a real time operating system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Overview of the Hydra Operating System development
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Policy/mechanism separation in Hydra
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
StarOS, a multiprocessor operating system for the support of task forces
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Implementing atomic actions on decentralized data (Extended Abstract)
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Hints for computer system design
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Descartes: A programming-language approach to interactive display interfaces
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
Using a distributed mini-computer network to automate a biochemical laboratory
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract types defined as classes of variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Structured model development techniques
ANSS '74 Proceedings of the 2nd symposium on Simulation of computer systems
Management of a large computer network simulation project
ANSS '76 Proceedings of the 4th symposium on Simulation of computer systems
System design and implementation of BGRAF2
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
The semantics of graphical input
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
Response to undesired events in software systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Data flow, abstraction levels and specifications for communications switching systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A system for automatic software evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Consistency checking within embedded design languages
ICSE '82 Proceedings of the 6th international conference on Software engineering
Data-driven implementation of data flow diagrams
ICSE '82 Proceedings of the 6th international conference on Software engineering
An editor for documentation in &pgr;-system to support software development and maintenance
ICSE '82 Proceedings of the 6th international conference on Software engineering
An experimental implementation of the kernel/domain architecture
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
A data flow language for operating systems programming
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Proving the adequacy of protection in an operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
The impact of language design on the production of reliable software
Proceedings of the international conference on Reliable software
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
A module interface specification language
DAC '75 Proceedings of the 12th Design Automation Conference
DAC '75 Proceedings of the 12th Design Automation Conference
Experience with porting the Portable C Compiler
ACM '82 Proceedings of the ACM '82 conference
The structure of “data structures”
ACM '81 Proceedings of the ACM '81 conference
Towards a practical specification language
ACM '81 Proceedings of the ACM '81 conference
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
ACM '77 Proceedings of the 1977 annual conference
Formal module level specifications
ACM '77 Proceedings of the 1977 annual conference
ACM '77 Proceedings of the 1977 annual conference
On the specification and quantification of software performance objectives
ACM '77 Proceedings of the 1977 annual conference
Third generation compiler design
ACM '75 Proceedings of the 1975 annual conference
ACM '75 Proceedings of the 1975 annual conference
On the failure to implement structured programming and other techniques
ACM '75 Proceedings of the 1975 annual conference
Design of transaction-oriented systems employing a transaction monitor
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Teaching structured programming attitudes, even in APL, by example
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
A measurement of structure for unstructured programming languages
Proceedings of the software quality assurance workshop on Functional and performance issues
A course in effective programming
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Computer system modelling: A test bed for new software technologies
WSC '74 Proceedings of the 7th conference on Winter simulation - Volume 2
Serving up a Banquet: Towards an Environment Supporting All Aspects of Software Development
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A Catalogue of General-Purpose Software Design Patterns
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Evolution of a Small Object Oriented Manufacturing System
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
Using type-extension to organize virtual-memory mechanisms
ACM SIGOPS Operating Systems Review
Dynamic Module Replacement in Distributed Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Visualising class cohesion with virtual worlds
APVis '03 Proceedings of the Asia-Pacific symposium on Information visualisation - Volume 24
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
How well can we predict changes at architecture design time?
Journal of Systems and Software
A technique for passing reference parameters in an information-hiding architecture
ACM SIGARCH Computer Architecture News
Quality-driven software re-engineering
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Recomposition: Coordinating a Web of SoftwareDependencies
Computer Supported Cooperative Work
A course on software engineering techniques
ACM SIGCSE Bulletin
The reflective nitrO abstract machine
ACM SIGPLAN Notices
Formulation and preliminary test of an empirical theory of coordination in software engineering
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Composing architectural styles from architectural primitives
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
ICHC Proceedings of the international conference on History of computing: software issues
Specification of real-time imaging systems using the UML
Real-Time Imaging
Event-Based Traceability for Managing Evolutionary Change
IEEE Transactions on Software Engineering
The secret history of information hiding
Software pioneers
On a "buzzword": hierarchical structure
Software pioneers
The external consistency of abstract data types
ACM SIGPLAN Notices
Toward relaxing assumptions in languages and their implementations
ACM SIGPLAN Notices
Functional programming and the two-pass assembler
ACM SIGPLAN Notices
A graphical abstract programming language
ACM SIGPLAN Notices
Free and bound generics: two techniques for abstract data types in modular C
ACM SIGPLAN Notices
Partial behavioral reflection: spatial and temporal selection of reification
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Visualizing and AspectJ-enabling eclipse plugins using bytecode instrumentation
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
No name: just notes on software reuse
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An AspectJ-enabled eclipse core runtime platform
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Structured programming: a minor part of software engineering
Information Processing Letters - Special issue: Contribution to computing science
A RUP-based software process supporting progressive implementation
UML and the unified process
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
Describing software design in Ada
ACM SIGPLAN Notices
On the need for fewer restrictions in changing compile-time environments
ACM SIGPLAN Notices
Knowledge management through end user developed expert systems: potential and limitations
Advanced topics in end user computing
Advanced topics in end user computing
A service-based approach to components for effective business-IT alignment
Practicing software engineering in the 21st century
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Separation and information hiding
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
No name: just notes on software reuse
ACM SIGPLAN Notices
Journal of Functional Programming
Architecture-level modifiability analysis (ALMA)
Journal of Systems and Software
The algebraic structure of interfaces
Science of Computer Programming
Journal of Systems and Software - Special issue: Ubiquitous computing
The Knowledge Engineering Review
Building large-scale Bayesian networks
The Knowledge Engineering Review
Proceedings of the 3rd international conference on Aspect-oriented software development
Large-scale AOSD for middleware
Proceedings of the 3rd international conference on Aspect-oriented software development
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Bringing data base technology to the programmer
ACM SIGMOD Record
Assessing the complexity of software architecture
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
A generative nested-sequential basis for general-purpose programming languages
ACM SIGPLAN Notices - Abstracts in programming language-related research
ACM SIGPLAN Notices
A generalized approach to interpretation machines
ACM SIGPLAN Notices
An unstructured view of structured programming
ACM SIGPLAN Notices
Survey of existing programming aids
ACM SIGPLAN Notices
A proposed graduate course in automatic software generation
ACM SIGCSE Bulletin
A student group project in operating system implementation
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Dynamic adaptation of application aspects
Journal of Systems and Software - Special issue: Computer systems
More on block structure: using Ada
ACM SIGAda Ada Letters
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
Rapid prototyping: in the OBJ executable specification language
Proceedings of the workshop on Rapid prototyping
Computer
Incremental Change in Object-Oriented Programming
IEEE Software
A top-down view of software engineering
ACM SIGSOFT Software Engineering Notes
Some remarks on the use of abstract specifications for operating systems
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
The impact of object-orientation on application development
IBM Systems Journal
An Ina Jo® proof manager for the formal development method
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Let's put more emphasis on perspective methods
ACM SIGSOFT Software Engineering Notes
Automotive software engineering: an emerging application domain for software engineering
Languages for system specification
GRASP: an interactive environment for software development and maintenance
ACM SIGMIS Database - Proceedings of a conference on Application Development Systems, Santa Clara, California, March 10-11, 1980
From the Editor in Chief: The Many Faces of Adaptation
IEEE Pervasive Computing
Predicting Source Code Changes by Mining Change History
IEEE Transactions on Software Engineering
Structured programming using processes
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Resolving feature convolution in middleware systems
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Resolving uncertainties during trace analysis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Sometimes you need to see through walls: a field study of application programming interfaces
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Open Source Reuse in Commercial Firms
IEEE Software
An experimental simulation of multi-site software development
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
JAC: an aspect-based distributed dynamic framework
Software—Practice & Experience
An analysis of modularity in aspect oriented design
Proceedings of the 4th international conference on Aspect-oriented software development
Measuring High Performance Computing Productivity
International Journal of High Performance Computing Applications
History of programming languages---II
Secrets, hot spots, and generalization: preparing students to design software families
Journal of Computing Sciences in Colleges
Proceedings of the 27th international conference on Software engineering
Classpects: unifying aspect- and object-oriented language design
Proceedings of the 27th international conference on Software engineering
Permission-based ownership: encapsulating state in higher-order typed languages
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Proceedings of the 2005 ACM symposium on Applied computing
Proceedings of the 2005 ACM symposium on Applied computing
Teaching software development skills early in the Curriculum through software engineering
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Modular Verification of Open Features Using Three-Valued Model Checking
Automated Software Engineering
Desert Island Reading: Back to the Future
Automated Software Engineering
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Information hiding interfaces for aspect-oriented design
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Lightweight object specification with typestates
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
All we really need to know about software engineering is in the film office space
ACM SIGSOFT Software Engineering Notes
On using Net Options Value as a value based design framework
EDSER '05 Proceedings of the seventh international workshop on Economics-driven software engineering research
A value-oriented theory of modularity in design
EDSER '05 Proceedings of the seventh international workshop on Economics-driven software engineering research
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Separation of concerns for evolving systems: a stability-driven approach
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
MSR '05 Proceedings of the 2005 international workshop on Mining software repositories
Improving system dependability by enforcing architectural intent
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
An approach for categorizing end user programmers to guide software engineering research
WEUSE I Proceedings of the first workshop on End-user software engineering
IEEE Transactions on Software Engineering
Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information
IEEE Transactions on Software Engineering
ArchMatE: from architectural styles to object-oriented models through exploratory tool support
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Subtext: uncovering the simplicity of programming
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A semi-automated approach for analyzing, separating, and modeling of concerns in evolving systems
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Seeking the source: software source code as a social and technical artifact
GROUP '05 Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Simon: modeling and analysis of design space structures
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Structured model development techniques
ACM SIGSIM Simulation Digest
AspectAda: aspect oriented programming for ada95
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Teaching Three Quality Assurance Techniques in Tandem - Lessons Learned
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Guest Editors' Introduction: Aspect-Oriented Programming
IEEE Software
Modular Software Design with Crosscutting Interfaces
IEEE Software
I3D '06 Proceedings of the 2006 symposium on Interactive 3D graphics and games
Rosetta Smalltalk: a conversational, extensible microcomputer language
SIGSMALL/PC Proceedings of the Second symposium on Small systems
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
IEEE Transactions on Software Engineering
An analysis and visualization for revealing object sharing
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Bridging the gap between technical and social dependencies with Ariadne
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
PFAST: an eclipse-based integrated tool workbench for facilities design
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Software life cycle management
ACM SIGCSIM Installation Management Review
Impact of service orientation at the business level
IBM Systems Journal
The Past, Present, and Future for Software Architecture
IEEE Software
MultiJava: Design rationale, compiler implementation, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Dealing with crosscutting concerns in a model based software production method
Proceedings of the 2006 international workshop on Early aspects at ICSE
Some suggestions for the use of tables in compilers
ACM SIGPLAN Notices
Program element matching for multi-version program analyses
Proceedings of the 2006 international workshop on Mining software repositories
A dynamic analysis for revealing object ownership and sharing
Proceedings of the 2006 international workshop on Dynamic systems analysis
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Subdomain testing of units and systems with state
Proceedings of the 2006 international symposium on Software testing and analysis
Replaying development history to assess the effectiveness of change propagation tools
Empirical Software Engineering
Graphical user interfaces as documents
CHINZ '06 Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: design centered HCI
An empirical study of developers views on software reuse in statoil ASA
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Simulation-specific characteristics and software reuse
WSC '05 Proceedings of the 37th conference on Winter simulation
BoxScript: a component-oriented language for teaching
Proceedings of the 43rd annual Southeast regional conference - Volume 1
The paradoxical success of aspect-oriented programming
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Supporting nested transactional memory in logTM
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Software extension and integration with type classes
Proceedings of the 5th international conference on Generative programming and component engineering
System and network trustworthiness in perspective
Proceedings of the 13th ACM conference on Computer and communications security
Can Self-managed systems be trusted?: Some views and trends
The Knowledge Engineering Review
Using task context to improve programmer productivity
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Crosscutting score: an indicator metric for aspect orientation
Proceedings of the 44th annual Southeast regional conference
Information policies and open source software in developing countries
Journal of the American Society for Information Science and Technology
Representing concerns in source code
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modular information hiding and type-safe linking for C
TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
An aspect-oriented approach to bypassing middleware layers
Proceedings of the 6th international conference on Aspect-oriented software development
Expressive programs through presentation extension
Proceedings of the 6th international conference on Aspect-oriented software development
Collaborative design: Managing task interdependencies and multiple perspectives
Interacting with Computers
Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming
Serfs: Dynamically-bound parameterized components
Journal of Systems and Software
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Verifying design modularity, hierarchy, and interaction locality using data clustering techniques
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
An interface mechanism for encapsulating weaving in class-based AOP
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Proceedings of the third ACM SIGPLAN conference on History of programming languages
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Machine and collection abstractions for user-implemented data-parallel programming
Scientific Programming
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Concern-Specific Languages in a Visual Web Service Creation Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
Classics in software engineering
On the criteria to be used in decomposing systems into modules
Classics in software engineering
Classics in software engineering
Context-aware feature-oriented modeling with an aspect extension of VDM
Proceedings of the 2007 ACM symposium on Applied computing
Fine-grain analysis of common coupling and its application to a Linux case study
Journal of Systems and Software
Information Systems Research
API-Based and Information-Theoretic Metrics for Measuring the Quality of Software Modularization
IEEE Transactions on Software Engineering
Information Hiding and Visibility in Interface Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Adaptation Hiding Modularity for Self-Adaptive Systems
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
A Future for Software Engineering?
FOSE '07 2007 Future of Software Engineering
Global Software Engineering: The Future of Socio-technical Coordination
FOSE '07 2007 Future of Software Engineering
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
Using Software Repositories to Investigate Socio-technical Congruence in Development Projects
MSR '07 Proceedings of the Fourth International Workshop on Mining Software Repositories
An Evolutionary Approach to Software Modularity Analysis
ACoM '07 Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques
ULS '07 Proceedings of the International Workshop on Software Technologies for Ultra-Large-Scale Systems
An Evolution Model for Software Modularity Assessment
WoSQ '07 Proceedings of the 5th International Workshop on Software Quality
Electronic Notes in Theoretical Computer Science (ENTCS)
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
ACM Turing award lectures
An empirical study of cycles among classes in Java
Empirical Software Engineering
Three Paradigms of Computer Science
Minds and Machines
Toward a design methodology for DBMS: a software engineering approach
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
A software engineering view of data base systems
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
A tool for modular database design
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Program comprehension as fact finding
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Supporting Community Emergency Management Planning through a Geocollaboration Software Architecture
Computer Supported Cooperative Work
Bridging Java and AspectJ through explicit join points
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
The Types and Interactions of Vertical Migrations of Functions in a Multilevel Interpretive System
IEEE Transactions on Computers
Capability Based Tagged Architectures
IEEE Transactions on Computers
A Computer Architecture for Level Structured Systems
IEEE Transactions on Computers
IEEE Transactions on Computers
On The Detection of Test Smells: A Metrics-Based Approach for General Fixture and Eager Test
IEEE Transactions on Software Engineering
Proceedings of the 2007 international ACM conference on Supporting group work
An aspect-oriented weaving mechanism based on component and connector architecture
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A framework and tool supports for testing modularity of software design
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Foundations of a simple and unified component-oriented language
Computer Languages, Systems and Structures
Application-specific models and pointcuts using a logic metalanguage
Computer Languages, Systems and Structures
Studying the evolution of the Eclipse Java editor
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Invariants for Non-Hierarchical Object Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving prolog programs: Refactoring for prolog
Theory and Practice of Logic Programming
Crossmodal content binding in information-processing architectures
Proceedings of the 3rd ACM/IEEE international conference on Human robot interaction
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
On the modularity assessment of aspect-oriented multiagent architectures: a quantitative study
International Journal of Agent-Oriented Software Engineering
Managing software evolution with a formalised abstraction hierarchy
International Journal of Computer Applications in Technology
Crosscutting invariant and an efficient checking algorithm using program slicing
ACM SIGPLAN Notices
SMash: secure component model for cross-domain mashups on unmodified browsers
Proceedings of the 17th international conference on World Wide Web
Towards reusable components with aspects: an empirical study on modularity and obliviousness
Proceedings of the 30th international conference on Software engineering
Proceedings of the 30th international conference on Software engineering
Automatic modularity conformance checking
Proceedings of the 30th international conference on Software engineering
The influence of organizational structure on software quality: an empirical case study
Proceedings of the 30th international conference on Software engineering
Socio-technical congruence (STC 2008)
Companion of the 30th international conference on Software engineering
Adaptation architectures cross levels
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
Architectural challenges of ultra large scale systems
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
Talk and work: a preliminary report
Proceedings of the 2008 international working conference on Mining software repositories
Using the event calculus to reason about problem diagrams
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Semantic links in integrated modelling frameworks
Mathematics and Computers in Simulation
Re-engineering Xen internals for higher-assurance security
Information Security Tech. Report
Validating MAS simulation models with mutation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems
Information and Software Technology
Flexible metaprogramming and AOP in Java
Science of Computer Programming
Securing Java code: heuristics and an evaluation of static analysis tools
Proceedings of the 2008 workshop on Static analysis
Science of Computer Programming
Myths and paradoxes in Japanese IT offshoring
Communications of the ACM
ACM SIGSOFT Software Engineering Notes
Infrastructure for ubiquitous computing: improving quality with modularisation
Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
A proposed non-procedural programming language for structured system development
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Systematic Component-Oriented development with Axiomatic Design
Journal of Systems and Software
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
An extensible and adaptable model for system software
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Externalizing Java Server Concurrency with CAL
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
A Modular Reference Architecture Framework for Electronic Cross-Organizational Interoperation
EGOV '08 Proceedings of the 7th international conference on Electronic Government
Model-Driven Adaptive Self-healing for Autonomic Computing
MACE '08 Proceedings of the 3rd IEEE international workshop on Modelling Autonomic Communications Environments
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Detecting Coordination Problems in Collaborative Software Development Environments
Information Systems Management
Latent social structure in open source projects
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
The cognitive consequences of object-oriented design
Human-Computer Interaction
GSpace: an architectural approach for self-managing extra-functional concerns
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
WhiteSteg: a new scheme in information hiding using text steganography
WSEAS Transactions on Computers
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Modularity in Process Models: Review and Effects
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Leadership in online creative collaboration
Proceedings of the 2008 ACM conference on Computer supported cooperative work
Communication networks in geographically distributed software development
Proceedings of the 2008 ACM conference on Computer supported cooperative work
Software Reuse beyond Components with XVCL (Tutorial)
Generative and Transformational Techniques in Software Engineering II
Managing architectural emergence: A conceptual model and simulation
Decision Support Systems
An ADL dealing with aspects at software architecture stage
Information and Software Technology
SOMA: a method for developing service-oriented solutions
IBM Systems Journal
Comprehensive Architecture Evaluation and Management in Large Software-Systems
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
ESCAPE: A Component-Based Policy Framework for Sense and React Applications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Towards a Systematic Method for Identifying Business Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
The CoSi Component Model: Reviving the Black-Box Nature of Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Practical Efficient Modular Linear-Time Model-Checking
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Some conclusions from an experiment in software engineering techniques
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Change-Enabled Software Systems
Software-Intensive Systems and New Computing Paradigms
A Framework for Advanced Modularization and Data Flow in Workflow Systems
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution
Advances in Software Engineering
Separation and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
A portable modula-2 operating system: SAM2S
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
A two-step approach to the validation of software engineering methodologies
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Modular programming conventions in assembly languages
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Software management of Cm*: a distributed multiprocessor
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
On the principle of unique definition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Toward improved review of software designs
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Structured organization of clinical data bases
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
V-Compiler: a next-generation tool for microprogramming
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
CARL: experience of an application using clusters
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A security policy for a profile-oriented operating system
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Modular documentation: a software development tool
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
The design of PLAIN: support for systematic programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
The impact of Ada on software engineering
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Programming and Computing Software
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Addressing common crosscutting problems with Arcum
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Controversy Corner: On the similarity between requirements and architecture
Journal of Systems and Software
Document based rational software development
Knowledge-Based Systems
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Cooperative aspect-oriented programming
Science of Computer Programming
XTream: an open, distributed platform for processing personal information streams
Proceedings of the Third Workshop on Dependable Distributed Data Management
The Knowledge Engineering Review
Leveraging open-source software in the design and development process
CHI '09 Extended Abstracts on Human Factors in Computing Systems
Using aspects and dynamic composition to provide context-aware adaptation for mobile applications
Proceedings of the 2009 ACM symposium on Applied Computing
Model interfaces for two-way obliviousness
Proceedings of the 2009 ACM symposium on Applied Computing
Symmetric encapsulated multi-methods to abstract over application structure
Proceedings of the 2009 ACM symposium on Applied Computing
The Internet of Things in an Enterprise Context
Future Internet --- FIS 2008
Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains
Software Language Engineering
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Teaching the unifying mathematics of software design
Proceedings of the 14th Western Canadian Conference on Computing Education
Global software development: where are the benefits?
Communications of the ACM - A Blind Person's Interaction with Technology
The Grand Challenge of Scalability for Model Driven Engineering
Models in Software Engineering
A partitional clustering algorithm for crosscutting concerns identification
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Tesseract: Interactive visual exploration of socio-technical relationships in software development
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Modeling Software Evolution with Game Theory
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Engineering the cloud from software modules
CLOUD '09 Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing
Towards engineered architecture evolution
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
The role of congregation in service-oriented development
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Component Interface Documentation: What do we Need and Why do we Need it?
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
An Exploratory Study for Identifying and Implementing Concerns in Integer Programming
Transactions on Aspect-Oriented Software Development V
Automated Architecture Consistency Checking for Model Driven Software Development
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
On Component Identification Approaches --- Classification, State of the Art, and Comparison
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Feature (De)composition in Functional Programming
SC '09 Proceedings of the 8th International Conference on Software Composition
How to localize domain entities: the case of a flooding prediction and risk management system
Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly
A declarative formal approach to dynamic reconfiguration
Proceedings of the 1st international workshop on Open component ecosystems
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design
ACM Transactions on Computer-Human Interaction (TOCHI)
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Business Collaborations in Grids: The BREIN Architectural Principals and VO Model
GECON '09 Proceedings of the 6th International Workshop on Grid Economics and Business Models
Remodularizing Java programs for comprehension of features
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Discovery of architectural layers and measurement of layering violations in source code
Journal of Systems and Software
When refactoring acts like modularity: keeping options open with persistent condition checking
Proceedings of the 2nd Workshop on Refactoring Tools
The mythical matched modules: overcoming the tyranny of inflexible software construction
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Contracts for first-class modules
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Runtime bytecode transformation for Smalltalk
Computer Languages, Systems and Structures
Verification Support for Generative System Development
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Composite design facilities of six programming languages
IBM Systems Journal
A method of programming measurement and estimation
IBM Systems Journal
Architecture prototyping in the software engineering environment
IBM Systems Journal
Software engineering: an emerging discipline
IBM Systems Journal
On The Roles of APIs in the Coordination of Collaborative Software Development
Computer Supported Cooperative Work
BRAHMS: Novel middleware for integrated systems computation
Advanced Engineering Informatics
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
On the Use of Handover Checkpoints to Manage the Global Software Development Process
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
Mashware: the future of web applications
Mashware: the future of web applications
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware
Electronic Notes in Theoretical Computer Science (ENTCS)
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining Aspect-Oriented and Strategic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
A new programming methodology for long-lived software systems
IBM Journal of Research and Development
Towards a client-oriented model of types and states in service-oriented development
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Internationalization of computer science education
Proceedings of the 41st ACM technical symposium on Computer science education
Tool support for crosscutting concerns of API documentation
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Journal of the American Society for Information Science and Technology
On the impact of the optional feature problem: analysis and case studies
Proceedings of the 13th International Software Product Line Conference
Modules for crosscutting models
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
An aspect-oriented modeling framework for multi-agent systems design
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Monitoring group behavior in goal-directed agents using co-efficient plan observation
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
BIS'07 Proceedings of the 10th international conference on Business information systems
Application-specific models and pointcuts using a logic meta language
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
SCL: a simple, uniform and operational language for component-oriented programming in smalltalk
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
A versatile execution management system for next-generation UNICORE grids
Euro-Par'06 Proceedings of the CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics conference on Parallel processing
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Execution of aspect oriented UML models
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
An algebraic view on the semantics of model composition
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Toward specifications for reconfigurable component systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
How a human-centered approach impacts software development
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Managing concern interactions in middleware
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
SEAFOOD'07 Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development
Requirements for applying aspect-oriented techniques in web service composition languages
SC'07 Proceedings of the 6th international conference on Software composition
Comprehension and dependency analysis of aspect-oriented programs through declarative reasoning
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Benefits of global software development: the known and unknown
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
BPM'07 Proceedings of the 2007 international conference on Business process management
Transactions on aspect-oriented software development IV
An alternative to chaos or maintainable systems
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Structuring the modeling space and supporting evolution in software product line engineering
Journal of Systems and Software
Analysis of early aspects in requirements goal models: a concept-driven approach
Transactions on aspect-oriented software development III
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
A large-scale empirical study of practitioners' use of object-oriented concepts
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Assisting the development of aspect-based multi-agent systems using the smartweaver approach
Software engineering for large-scale multi-agent systems
Component models for semantic web languages
Semantic techniques for the web
A novel strategy for multi-resource load balancing in agent-based systems
International Journal of Intelligent Information and Database Systems
Space integration services: a platform for space-aware communication
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
Modular aspect-oriented design with XPIs
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICT infrastructure for innovation: A case study of the enterprise service bus approach
Information Systems Frontiers
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Complementarities Between Organizational IT Architecture and Governance Structure
Information Systems Research
Architecting in software ecosystems: interface translucence as an enabler for scalable collaboration
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Coordination implications of software architecture in a global software development project
Journal of Systems and Software
Mapping software engineering principles to stages in game development
Journal of Computing Sciences in Colleges
Architectural style as an independent variable
Proceedings of the IEEE/ACM international conference on Automated software engineering
From Requirements to Architecture
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Designing modularity architecture for multithread programming
CIT'10 Proceedings of the 4th international conference on Communications and information technology
Software architecture awareness in long-term software product evolution
Journal of Systems and Software
Package Fingerprints: A visual summary of package interface usage
Information and Software Technology
Code clones in feature-oriented software product lines
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Dsc+Mock: a test case + mock class generator in support of coding against interfaces
Proceedings of the Eighth International Workshop on Dynamic Analysis
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
Component adaptation and assembly using interface relations
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
The Tower of Babel did not fail
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Emergent feature modularization
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Towards feature modularization
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Contracts for first-class classes
Proceedings of the 6th symposium on Dynamic languages
Evaluating evolvability of computer based systems architectures - an ontological approach
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
An agenda for concern-oriented software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
The mashware challenge: bridging the gap between web development and software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Sharing what we know about software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Interfaces for scripting: making Greasemonkey scripts resilient to website upgrades
ICWE'10 Proceedings of the 10th international conference on Web engineering
Variability modeling for distributed development - a comparison with established practice
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Functional architecture modeling for the software product industry
ECSA'10 Proceedings of the 4th European conference on Software architecture
Journal of Systems and Software
Exposing position uncertainty in middleware
Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing
Strategy, networks and systems in the global translation services market
The Journal of Strategic Information Systems
ACS'10 Proceedings of the 10th WSEAS international conference on Applied computer science
Modular development and verification of domain requirements via model checking
Proceedings of the 48th Annual Southeast Regional Conference
On the construction of framework of web-based atlas (FWA)
Proceedings of the 48th Annual Southeast Regional Conference
An introduction to network stack design using software design patterns
MACE'10 Proceedings of the 5th IEEE international conference on Modelling autonomic communication environments
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Nested and dynamic contract boundaries
IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
The variety engineering method: analyzing and designing information flows in organizations
Information Systems and e-Business Management
A policy-based publish/subscribe middleware for sense-and-react applications
Journal of Systems and Software
Towards service-based approach: building huge software architectural design
International Journal of Communication Networks and Distributed Systems
Separation of scattered concerns: a graph based approach for aspect mining
ACM SIGSOFT Software Engineering Notes
SScAC: towards a framework for small-scale software architectures comparison
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
Science of Computer Programming
A design perspective on modularity
Proceedings of the tenth international conference on Aspect-oriented software development
Proceedings of the tenth international conference on Aspect-oriented software development
Modularity for the changing meaning of changing
Proceedings of the tenth international conference on Aspect-oriented software development
Portability as an aspect: rethinking modularity in mobile game development
Proceedings of the tenth international conference on Aspect-oriented software development companion
The graduate course advisor: a multi-phase rule-based expert system
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Design of an extensible interpreter using information hiding
Journal of Computing Sciences in Colleges
A survey on UML-based aspect-oriented design modeling
ACM Computing Surveys (CSUR)
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
Quality measurement of modularized object oriented software using metrics
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Aspect-oriented design with reusable aspect models
Transactions on aspect-oriented software development VII
Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation
Proceedings of the 2011 ACM Symposium on Applied Computing
A theory of branches as goals and virtual teams
Proceedings of the 4th International Workshop on Cooperative and Human Aspects of Software Engineering
Syntax highlighting in business process models
Decision Support Systems
The architecture description language model
Graph transformations and model-driven engineering
Detecting software modularity violations
Proceedings of the 33rd International Conference on Software Engineering
Feature cohesion in software product lines: an exploratory study
Proceedings of the 33rd International Conference on Software Engineering
Digitally annexing desk space for software development (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Mining service abstractions (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Aspect-oriented design with reusable aspect models
Transactions on aspect-oriented software development VII
Where the truth lies: AOP and its impact on software modularity
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Science of Computer Programming
Sustainability evaluation of software architectures: a systematic review
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
VAMOS: virtualization aware middleware
WIOV'11 Proceedings of the 3rd conference on I/O virtualization
Benchmarking library and application software with Data Envelopment Analysis
Software Quality Control
Multi-level decomposition approach for problem solving and design in software engineering
Proceedings of the 49th Annual Southeast Regional Conference
Using multiple feature models to design applications for mobile phones
Proceedings of the 15th International Software Product Line Conference, Volume 2
Achieving reuse with pluggable software units
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Defect detection effectiveness and product quality in global software development
PROFES'11 Proceedings of the 12th international conference on Product-focused software process improvement
A problem frame-based approach to evolvability: the case of the multi-translation
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
PerPos: a translucent positioning middleware supporting adaptation of internal positioning processes
Proceedings of the ACM/IFIP/USENIX 11th International Conference on Middleware
Towards a classification of logical dependencies origins: a case study
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
Problem-solution mapping for forward and reengineering on architectural level
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
On the congruence of modularity and code coupling
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Mining development repositories to study the impact of collaboration on software systems
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
The beauty and the beast: separating design from algorithm
Proceedings of the 25th European conference on Object-oriented programming
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 25th European conference on Object-oriented programming
Assessing architectural evolution: a case study
Empirical Software Engineering
A field study of API learning obstacles
Empirical Software Engineering
A cognitive perspective on developer comprehension of software design documentation
Proceedings of the 29th ACM international conference on Design of communication
ReflexML: UML-based architecture-to-code traceability and consistency checking
ECSA'11 Proceedings of the 5th European conference on Software architecture
A domain model to improve IT course design
Proceedings of the 2011 conference on Information technology education
On the impact of feature dependencies when maintaining preprocessor-based software product lines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Supporting Agent Systems in the Programming Language
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
"Follow the Sun" Workflow in Global Software Development
Journal of Management Information Systems
Towards learning to detect meaningful changes in software
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Robust web services via interaction contracts
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Adjustable Module Isolation for Distributed Computing Infrastructures
GRID '11 Proceedings of the 2011 IEEE/ACM 12th International Conference on Grid Computing
Towards facilitating development of SOA application with design metrics
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Damon: A distributed AOP middleware for large-scale scenarios
Information and Software Technology
Can aspects implement contracts?
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
A feature model of actor, agent, and object programming languages
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Modularization and automatic composition of object-role modeling (ORM) schemes
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Isolating process-level concerns using padus
BPM'06 Proceedings of the 4th international conference on Business Process Management
Reflection on Turkish aspect-oriented software development workshop series
ACM SIGSOFT Software Engineering Notes
Remodularizing Java programs for improved locality of feature implementations in source code
Science of Computer Programming
The temporal communication behaviors of global software development student teams
Computers in Human Behavior
Expert Systems with Applications: An International Journal
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Fundamental concepts for the structuring of functionality into modular parts
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A modular model composition technique
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
A methodology for writing class contracts
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
A comparison of program generation with aspect-oriented programming
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Business rules segregation for dynamic process management with an aspect-oriented framework
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Requirements for a workflow system for grid service composition
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Managing variability using heterogeneous feature variation patterns
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
On the effective manipulation of digital objects: a prototype-based instantiation approach
ECDL'05 Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries
Towards deterministically constructing organizations based on the normalized systems approach
DESRIST'10 Proceedings of the 5th international conference on Global Perspectives on Design Science Research
CompAr: ensuring safe around advice composition
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The emergent structure of development tasks
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Sustainable system infrastructure and big bang evolution: can aspects keep pace?
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
“Weaving” MTL model transformations
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Proximity: a measure to quantify the need for developers' coordination
Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work
Factors affecting the success of Open Source Software
Journal of Systems and Software
The structure of authority: why security is not a separable concern
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Applying a generative technique for enhanced genericity and maintainability on the J2EE platform
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Taming complexity in large-scale system projects
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Compiler-enforced memory semantics in the SACLIB computer algebra library
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Features and object capabilities: reconciling two visions of modularity
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Do we really need to extend syntax for advanced modularity?
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
An exploratory study of the design impact of language features for aspect-oriented interfaces
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Emergo: a tool for improving maintainability of preprocessor-based product lines
Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion
Using AOP to customize a reflective middleware
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Automated pattern-based pointcut generation
SC'06 Proceedings of the 5th international conference on Software Composition
An architecture design process using a supportable meta-architecture and roundtrip engineering
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
Problem structure and dependable architecture
Architecting Dependable Systems III
Model driven software development in the context of embedded component infrastructures
Component-Based Software Development for Embedded Systems
Assessing aspect modularizations using design structure matrix and net option value
Transactions on Aspect-Oriented Software Development I
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Managing the evolution of aspect-oriented software with model-based pointcuts
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Temporal superimposition of aspects for dynamic software architecture
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
Automated creation and assessment of component adapters with test cases
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Optimized feature distribution in distributed agile environments
PROFES'10 Proceedings of the 11th international conference on Product-Focused Software Process Improvement
Self-replication, evolvability and asynchronicity in stochastic worlds
SAGA'05 Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Software engineering: multi-person development of multi-version programs
Dependable and Historic Computing
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Specifying and detecting meaningful changes in programs
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Ecological inference in empirical software engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
A framework for the checking and refactoring of crosscutting concepts
ACM Transactions on Software Engineering and Methodology (TOSEM)
An aspect-oriented, model-driven approach to functional hardware verification
Journal of Systems Architecture: the EUROMICRO Journal
Assessing the impact of hierarchy on model understandability --- a cognitive perspective
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Message oriented programming-A resource based methodology
Computer Languages
Implementation of language enhancements
Computer Languages
Toward modular verifiable exception handling
Computer Languages
Research: Communications services architecture for CSCW
Computer Communications
Adaptive access control enforcement in social network using aspect weaving
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications
Evaluating software development by error analysis: The data from the Architecture Research Facility
Journal of Systems and Software
Partitioning considerations for complex computer based weapon systems
Journal of Systems and Software
Software development for reliable software systems
Journal of Systems and Software
Softing software engineering system
Journal of Systems and Software
Abstraction hierarchies in top-down design
Journal of Systems and Software
Software specification using the special language
Journal of Systems and Software
Modeling the growth of complex software function dependency networks
Information Systems Frontiers
Journal of Systems and Software
Language design and analyzability: a retrospective
Software—Practice & Experience
Towards evolvable software architectures based on systems theoretic stability
Software—Practice & Experience
Automatically finding performance problems with feedback-directed learning software testing
Proceedings of the 34th International Conference on Software Engineering
Graph-based analysis and prediction for software evolution
Proceedings of the 34th International Conference on Software Engineering
Architectural task allocation in distributed environment: a traceability perspective
Proceedings of the 34th International Conference on Software Engineering
Timely and efficient facilitation of coordination of software developers' activities
Proceedings of the 34th International Conference on Software Engineering
Timely detection of coordination requirements to support collaboration among software developers
Proceedings of the 34th International Conference on Software Engineering
Grounding ecologies on multiple spaces
Pervasive and Mobile Computing
Uniform modularization of workflow concerns using unify
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Detecting entry points in java libraries
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Applied Ontology - Modularity in Ontologies
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Detection of seed methods for quantification of feature confinement
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
A formal model for automated software modularity and evolvability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Comparing program comprehension of physically and virtually separated concerns
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Future Generation Computer Systems
Do crosscutting concerns cause modularity problems?
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
UniTI: a unified transformation infrastructure
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
A relational model of object collaborations and its use in reasoning about relationships
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
International Journal of Computer Applications in Technology
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
Characterizing key developers: a case study with apache ant
CRIWG'12 Proceedings of the 18th international conference on Collaboration and Technology
A case for "Piggyback" Runtime Monitoring
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Modular ontological warehouse for adaptative information search
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Service component architecture extensions for dynamic systems
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Evolution, adaptation, and the quest for incrementality
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
MOD2-SCM: A model-driven product line for software configuration management systems
Information and Software Technology
A Generic Adaptation Framework for Mobile Communication
International Journal of Adaptive, Resilient and Autonomic Systems
Cross-Fertilization of Knowledge: The Case of MIS and its Reference Disciplines
Information Resources Management Journal
The crosscutting impact of the AOSD Brazilian research community
Journal of Systems and Software
Designing for Complexity: Using Divisions and Hierarchy to Manage Complex Tasks
Organization Science
Leveraging design rules to improve software architecture recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Simulink models are also software: modularity assessment
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Toward automated refactoring of crosscutting concerns into aspects
Journal of Systems and Software
A design method for modular energy-aware software
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Network stacking considered harmful
Proceedings of the ACM International Conference on Computing Frontiers
Abstraction over implementation structure with symmetrically encapsulated multimethods
Science of Computer Programming
RISE: A general simulation interoperability middleware container
Journal of Parallel and Distributed Computing
Measuring architecture quality by structure plus history analysis
Proceedings of the 2013 International Conference on Software Engineering
21st century digital design tools
Proceedings of the 50th Annual Design Automation Conference
Towards model and language composition
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
An application of data envelopment analysis to software quality assessment
Proceedings of the 6th Balkan Conference in Informatics
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Trading obliviousness for modularity with cooperative aspect-oriented programming
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Observations on the observer pattern
Proceedings of the 17th Conference on Pattern Languages of Programs
Linking Cyclicality and Product Quality
Manufacturing & Service Operations Management
Uncovering critical coordination requirements through content analysis
Proceedings of the 2013 International Workshop on Social Software Engineering
Building European software architecture community: how far have we come?
Software and Systems Modeling (SoSyM)
Polymorphic identifiers: uniform resource access in objective-smalltalk
Proceedings of the 9th symposium on Dynamic languages
Enriching MATLAB with aspect-oriented features for developing embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Industrial experiences from multi-paradigmatic modelling of signal processing
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
A design rule language for aspect-oriented programming
Journal of Systems and Software
Client-aware checking and information hiding in interface specifications with JML/ajmlc
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity
The power of interoperability: why objects are inevitable
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Contracts for First-Class Classes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design principles for research data export: lessons learned in e-health design research
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
A performance cost evaluation of aspect weaving
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
A building code for building code: putting what we know works to work
Proceedings of the 29th Annual Computer Security Applications Conference
Patterns of software architecture in vastu: a new revelation
ACM SIGSOFT Software Engineering Notes
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
Key factors for adopting inner source
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented programming: Some history, and challenges for the next fifty years
Information and Computation
Language features for software evolution and aspect-oriented interfaces: an exploratory study
Transactions on Aspect-Oriented Software Development X
Join point interfaces for safe and flexible decoupling of aspects
ACM Transactions on Software Engineering and Methodology (TOSEM)
A journey through SMScom: self-managing situational computing
Computer Science - Research and Development
Adding semantic modules to improve goal-oriented analysis of data warehouses using I-star
Journal of Systems and Software
A granular hierarchical multiview metrics suite for statecharts quality
Advances in Software Engineering
Proceedings of the WICSA 2014 Companion Volume
A Rough Set Approach to Information Systems Decomposition
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Hi-index | 48.74 |
This paper discusses modularization as a mechanism for improving the flexibility and comprehensibility of a system while allowing the shortening of its development time. The effectiveness of a “modularization” is dependent upon the criteria used in dividing the system into modules. A system design problem is presented and both a conventional and unconventional decomposition are described. It is shown that the unconventional decompositions have distinct advantages for the goals outlined. The criteria used in arriving at the decompositions are discussed. The unconventional decomposition, if implemented with the conventional assumption that a module consists of one or more subroutines, will be less efficient in most cases. An alternative approach to implementation which does not have this effect is sketched.