Sciweavers

4258 search results - page 64 / 852
» Languages and Interactive Software Development
Sort
View
SAFECOMP
2005
Springer
15 years 5 months ago
Are High-Level Languages Suitable for Robust Telecoms Software?
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
Jan Henry Nyström, Philip W. Trinder, David J...
ARC
2006
Springer
88views Hardware» more  ARC 2006»
15 years 3 months ago
Integrating Custom Instruction Specifications into C Development Processes
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
Jack Whitham, Neil C. Audsley
IWPC
2007
IEEE
15 years 6 months ago
Detecting Interaction Coupling from Task Interaction Histories
A repository of task structures can reveal important latent knowledge about the development of a software system. Although approaches have been proposed to recover artifacts withi...
Lijie Zou, Michael W. Godfrey, Ahmed E. Hassan
ERLANG
2007
ACM
15 years 3 months ago
A language for specifying type contracts in Erlang and its interaction with success typings
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sa...
COORDINATION
2004
Springer
15 years 5 months ago
CoorSet: A Development Environment for Associatively Coordinated Components
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
Kevin Kane, James C. Browne