Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
Rethinking the taxonomy of fault detection techniques
ICSE '89 Proceedings of the 11th international conference on Software engineering
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
Starvation and Critical Race Analyzers for Ada
IEEE Transactions on Software Engineering
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
IEEE Transactions on Software Engineering
MIDAS: Integrated Design and Simulation of Distributed Systems
IEEE Transactions on Software Engineering
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Hardware/software codesign: a perspective
ICSE '91 Proceedings of the 13th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance Modeling of System Architectures
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
SAM—a computer aided design tool for specifying and analyzing modular, heirarchical systems
WSC '86 Proceedings of the 18th conference on Winter simulation
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software
IEEE Transactions on Parallel and Distributed Systems
Development of Veda, a Prototyping Tool for Distributed Algorithms
IEEE Transactions on Software Engineering
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems
IEEE Transactions on Software Engineering
Reconfigurable computer origins: the UCLA fixed-plus-variable (F+V) structure computer
IEEE Annals of the History of Computing
Software Performance Evaluation by Models
Performance Evaluation: Origins and Directions
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
A Model for the Coanalysis of Hardware and Software Architectures
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Adaptable architecture generation for embedded systems
Journal of Systems and Software - Special issue: Computer systems
Towards Multiple Access in Generic Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Improving communication latency with the write-only architecture
Journal of Parallel and Distributed Computing
| Hi-index | 0.01 |