Software engineering: stretching the limits of complexity
Communications of the ACM
Multi-view description of software architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Formal Methods: Promises and Problems
IEEE Software
I3: A Petri-Net Based Specification Method for Architectural Components
COMPSAC '99 23rd International Computer Software and Applications Conference
Model Checking UML Statechart Diagrams Using JACK
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Formal Support for the Engineering of CORBA-based Distributed Object Systems
DOA '99 Proceedings of the International Symposium on Distributed Objects and Applications
Service Creation: A Model-Based Approach
FTDCS '99 Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computing Systems
Distributed Information Systems Tailorability: A Component Approach
FTDCS '99 Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computing Systems
Dynamic Architectures and Architectural Styles for Distributed Programs
FTDCS '99 Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computing Systems
H-COSTAM: a hierarchical communicating state-machine model for generic prototyping
RSP '95 Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP'95)
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator
RSP '00 Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000)
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Towards a UML profile for software architecture descriptions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
An Introduction to Rapid System Prototyping
IEEE Transactions on Software Engineering
Distributed prototyping from validated specifications
Journal of Systems and Software - Special issue: Rapid system prototyping
Automatic symmetry detection in well-formed nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Hierarchical verification in maude of Lf P software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
Hi-index | 0.00 |
Abstract : We present LfP : a specification Language for rapid Prototyping of embedded concurrent systems. LfP is a graphical coordination language providing facilities of an Architecture Description Language (ADL). LfP can be linked to an UML-based methodology. It aims to provide a UML description with structured information enabling formal verification and automatic generation of distributed programs. To do so, we inspired LfP from principles stated in ODP (computational, engineering and technological viewpoints).