Implementing JSD designs in Ada: a tutorial
ACM SIGSOFT Software Engineering Notes
Concurrent design patterns for resource sharing
Proceedings of the conference on TRI-Ada '97
Precursor for parallel development
CSC '91 Proceedings of the 19th annual conference on Computer Science
IEEE Software
A Family-Oriented Software Development Process for Engine Controllers
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
Analysing the Safety of a Software Development Process
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures
Performance Engineering, State of the Art and Current Trends
CONVERSE: a family-oriented software development process for engine controllers
Systems engineering for business process change
Software engineering techniques and tools for high performance parallel systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Evaluating the performance of architectures in MASCOT
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
FPTC: Automated Safety Analysis for Domain-Specific Languages
Models in Software Engineering
Modular Architectural Representation and Analysis of Fault Propagation and Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecting dependable systems IV
Layered architecture(s): principles and practice in concurrent and distributed systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Hi-index | 0.00 |