Results 221 to 230 of about 10,110,846 (278)
Design Intent Coverage Revisited
ACM Transactions on Design Automation of Electronic Systems, 2009 Design intent coverage is a formal methodology for analyzing the gap between a formal architectural specification of a design and the formal functional specifications of the component RTL blocks of the design. In this article we extend the design intent coverage methodology to hybrid specifications containing both state ...
Pallab Dasgupta, P P Chakrabarti
exaly +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1, 2002
In this paper, we identify and analyze a set of issues that are more and more influencing the characteristics of today's complex software systems, and that make them distinguish from "traditional" software systems. Several examples in different areas show that these issues do not influence a few application domains only, but are instead widespread ...
Franco Zambonelli, H. Van Dyke Parunak
openaire +1 more source
In this paper, we identify and analyze a set of issues that are more and more influencing the characteristics of today's complex software systems, and that make them distinguish from "traditional" software systems. Several examples in different areas show that these issues do not influence a few application domains only, but are instead widespread ...
Franco Zambonelli, H. Van Dyke Parunak
openaire +1 more source
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2017
Software languages have always been an essential component of model-driven engineering. Their importance and popularity has been on the rise thanks to language workbenches, language-oriented development and other methodologies that enable us to quickly and easily create new languages specific for each domain. Unfortunately, language design is largely a
openaire +2 more sources
Software languages have always been an essential component of model-driven engineering. Their importance and popularity has been on the rise thanks to language workbenches, language-oriented development and other methodologies that enable us to quickly and easily create new languages specific for each domain. Unfortunately, language design is largely a
openaire +2 more sources
2014
The history of sustainable architecture and design provides some insights on how today’s mindful work settings have evolved. The roots of sustainable design are both informative and inspiring. It’s worthwhile to review how these relatively modern design precepts can guide mindful marketers toward greater harmony, satisfaction, and productivity.
openaire +2 more sources
The history of sustainable architecture and design provides some insights on how today’s mindful work settings have evolved. The roots of sustainable design are both informative and inspiring. It’s worthwhile to review how these relatively modern design precepts can guide mindful marketers toward greater harmony, satisfaction, and productivity.
openaire +2 more sources