Validating real-time systems by history-checking TRIO specifications
ICSE '92 Proceedings of the 14th international conference on Software engineering
Enhancing compositional reachability analysis with context constraints
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Preserving knowledge in design projects: what designers need to know
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Object-oriented design and automatic Ada code generation in the education of software engineers
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version)
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Building reusable components in the public administration domain
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
Context constraints for compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
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
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Verification of liveness properties using compositional reachability analysis
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
Defining and Validating Measures for Object-Based High-Level Design
IEEE Transactions on Software Engineering
Light analysis of complex systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Towards the usage of dynamic object aggregations as a foundation for composition
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
IT implementation through the lens of organizational learning: a case study of insuror
ICIS '97 Proceedings of the eighteenth international conference on Information systems
Towards component-based software engineering
Proceedings of the eighth annual consortium on Computing in Small Colleges Rocky Mountain conference
CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic generation of program specifications
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation
Automated Software Engineering
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
Automated Software Engineering
A View of Software Development Environments Based on Activity Theory
Computer Supported Cooperative Work
Sempa: Software Engineering for Parallel Scientific Computing
IEEE Parallel & Distributed Technology: Systems & Technology
Experiences in Engineering Flexible Web Services
IEEE MultiMedia
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
CSDL: A Language for Cooperative Systems Design
IEEE Transactions on Software Engineering
The complexity of approximating pspace-complete problems for hierarchical specifications
Nordic Journal of Computing
Automated testing of mySAP business processes: efficient usage of the SAP test workbench
Software quality and software testing in internet times
An Organizational Semiotics Model for Multi-agent Systems Design (Short Paper)
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Towards Team-Automata-Driven Object-Oriented Collaborative Work
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Automating Object-Oriented Software Development Methods
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
A Branching/Merging Strategy for Parallel Software Development
SCM-9 Proceedings of the 9th International Symposium on System Configuration Management
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Conflict in collaborative software development
SIGMIS CPR '03 Proceedings of the 2003 SIGMIS conference on Computer personnel research: Freedom in Philadelphia--leveraging differences and diversity in the IT workforce
Consistent database sampling as a database prototyping approach
Journal of Software Maintenance: Research and Practice
Towards team-automata-driven object-oriented collaborative work
Formal and natural computing
A versatile development process for small to large projects using IBM CMVC
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Improving Object Oriented Analysis by Explicit Change Analysis
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Experience Report: A Software Maintenance Project Course
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
A Software Engineering Subject on System Description Techniques
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Towards a Software Engineering Approach to Web Site Development
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Recomposition: Coordinating a Web of SoftwareDependencies
Computer Supported Cooperative Work
Automated Software Engineering
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
An example of linking formal methods with case tools: a model checker for statecharts
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Methodologies for the development of knowledge-based systems, 1982–2002
The Knowledge Engineering Review
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Factors affecting effective software quality management revisited
ACM SIGSOFT Software Engineering Notes
A stakeholders centered approach for conceptual modeling of communication-intensive applications
Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information
Exploring the acceptability envelope
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Estimating LOC for information systems from their conceptual data models
Proceedings of the 28th international conference on Software engineering
Multi-platform user interface construction: a challenge for software engineering-in-the-small
Proceedings of the 28th international conference on Software engineering
SecuBat: a web vulnerability scanner
Proceedings of the 15th international conference on World Wide Web
Application of graph theory to OO software engineering
Proceedings of the 2006 international workshop on Workshop on interdisciplinary software engineering research
Goal-oriented modularity in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Information security models and metrics
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Design Of A Communication Framework For Interoperable Information Systems
Journal of Integrated Design & Process Science
Evaluating performances of pair designing in industry
Journal of Systems and Software
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
IEEE Transactions on Software Engineering
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction
IEEE Transactions on Software Engineering
Lingua Franca: an IDL for structural subtyping distributed object systems
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Proceedings of the 2007 international ACM conference on Supporting group work
ACM SIGSOFT Software Engineering Notes
Towards automated consistency checks of product line requirements specifications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A framework for knowledge representation in semantic mobile applications
International Journal of Web and Grid Services
Integrating The Concept Of Synthesis In The Software Architecture Design Process
Journal of Integrated Design & Process Science
An empirical study on students' ability to comprehend design patterns
Computers & Education
Formal interaction specification in public health surveillance systems using π-calculus
Computer Methods and Programs in Biomedicine
The helicoidal life cycle as a tool for software development and enhancement
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
Modeling Human Aspects of Business Processes --- A View-Based, Model-Driven Approach
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Leveraging User Interactions for In-Depth Testing of Web Applications
RAID '08 Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection
A coordination framework for Cooperative Information Gathering
International Journal of Advanced Intelligence Paradigms
Improving the quality of process reference models: A quality function deployment-based approach
Decision Support Systems
Code based analysis for object-oriented systems
Journal of Computer Science and Technology
Ævol: A tool for defining and planning architecture evolution
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Pattern for Modeling Rework in Software Development Processes
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Journal of Systems and Software
A document driven methodology for developing a high quality Parallel Mesh Generation Toolbox
Advances in Engineering Software
Process models for agent-based development
Engineering Applications of Artificial Intelligence
Programming versus databases in the object-oriented paradigm
Information and Software Technology
A formal framework for database sampling
Information and Software Technology
A test environment for high integrity software development
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Optimization of software components selection for component-based software system development
Computers and Industrial Engineering
A protocol ontology for inter-organizational workflow coordination
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
A study of tool support for the evaluation of programming exercises
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
An empirical investigation into a large-scale Java open source code repository
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Mapping software engineering principles to stages in game development
Journal of Computing Sciences in Colleges
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Identification of behavioural and creational design motifs through dynamic analysis
Journal of Software Maintenance and Evolution: Research and Practice
Service research challenges and solutions for the future internet
Extending .NET security to unmanaged code
ISC'06 Proceedings of the 9th international conference on Information Security
ESL solutions for low power design
Proceedings of the International Conference on Computer-Aided Design
Review: adaptive organizational changes in agent-oriented methodologies
The Knowledge Engineering Review
Modeling crosscutting services with UML sequence diagrams
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Composition of a new process to meet agile needs using method engineering
Software Engineering for Multi-Agent Systems III
Dealing with adaptive multi-agent organizations in the gaia methodology
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
An Exploration of the Social Web Environment for Collaborative Software Engineering Education
International Journal of Web-Based Learning and Teaching Technologies
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Hi-index | 0.00 |