Sciweavers

16790 search results - page 3177 / 3358
» A Future for Software Engineering
Sort
View
113
Voted
UML
1997
Springer
15 years 4 months ago
Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
Michael Prasse
SIGGRAPH
1995
ACM
15 years 4 months ago
Polygon-assisted JPEG and MPEG compression of synthetic images
Recent advances in realtime image compression and decompression hardware make it possible for a high-performance graphics engine to operate as a rendering server in a networked en...
Marc Levoy
118
Voted
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 4 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
ASM
2010
ASM
15 years 4 months ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo
95
Voted
DESRIST
2009
Springer
137views Education» more  DESRIST 2009»
15 years 4 months ago
Language communities in enterprise architecture research
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
Joachim Schelp, Robert Winter
« Prev « First page 3177 / 3358 Last » Next »