Cache Configuration Exploration on Prototyping Platforms
Cache Configuration Exploration on Prototyping Platforms
复制标题
原型平台上的缓存配置探索
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
J. Moreno
中科院分区：
文献类型：
--
作者：
Ángel Herranz;J. Moreno
本文展示了 SLAM 系统的概要，该系统允许在快速应用程序开发 (RAD) 和其他原型设计过程中有效使用形式方法 (FM)。 SLAM 系统包括富有表现力的面向对象规范语言和开发环境，除其他功能外，该开发环境能够以高级面向对象语言（Java、C++ 等）生成高效且可读的代码。SLAM 能够生成可用于与用户验证需求的原型。额外的优点是原型不会被丢弃，因为生成的代码的大部分可以直接使用，而另一部分可以在自动包含的断言的额外帮助下进行优化。
The paper shows the outlines of the SLAM system, thatallows for an effective use of Formal Methods (FM) inRapid Application Development (RAD) and other prototypingprocesses. The SLAM system, includes an expressiveobject oriented specification language and a developmentenvironment that, among other features, is able to generateefficient and readable code in a high level object orientedlanguage (Java, C++, ...).SLAM is able to generate prototypes that can be usedto validate the requirements with the user. The additionaladvantage is that the prototype is not throw-away becausemost part of the generated code can be directly used andthe other part can be optimised with the additional help ofassertions automatically included.