545 search results - page 58 / 109 » Computer-Aided Method Engineering: An Analysis of Existing E... |
LDTA
2010
13 years 8 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
ALMOB
2006
13 years 8 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
APSEC
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose a new requirements elicitation method in such a domain of ERP, CRM, and SCM by using specifications of several existing package software. We have analyzed the requirem...
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
APSEC
2006
IEEE
13 years 10 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...