Search Sciweavers | Sciweavers

10912 search results - page 50 / 2183

» Object-Oriented Programming Languages

click to vote

ACSC
2000
IEEE

133views Theoretical Computer Science» more ACSC 2000»

Object-Oriented Natural Language Requirements Specification

14 years 1 months ago

Download www.cis.uab.edu

A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...

Barrett R. Bryant

claim paper

Read More »

click to vote

MEMOCODE
2007
IEEE

116views Formal Methods» more MEMOCODE 2007»

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

14 years 4 months ago

Download www.ics.ele.tue.nl

Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfe...

claim paper

Read More »

click to vote

ICEIS
2005
IEEE

97views Information Technology» more ICEIS 2005»

Design of a Standoff Object-Oriented Markup Language (sooml) for Annotating Biomedical Literature

14 years 3 months ago

Download class.ee.iastate.edu

Jing Ding, Daniel Berleant

claim paper

Read More »

click to vote

OOPSLA
2001
Springer

114views Security Privacy» more OOPSLA 2001»

Contract Soundness for Object-Oriented Languages

14 years 2 months ago

Download www.ccs.neu.edu

Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...

Robert Bruce Findler, Matthias Felleisen

claim paper

Read More »

click to vote

APSEC
1999
IEEE

107views Software Engineering» more APSEC 1999»

A Study of Productivity and Efficiency for Object-Oriented Methods and Languages

14 years 2 months ago

Download nknucc.nknu.edu.tw

A study was commissioned by Hughes Space and Communications software engineering group to determine the effectiveness of the recent

Daniel Port, Monica McArthur

claim paper