Sciweavers

177 search results - page 5 / 36
» A Study of Productivity and Efficiency for Object-Oriented M...
Sort
View
ISSE
2010
13 years 6 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
INFSOF
2002
147views more  INFSOF 2002»
13 years 7 months ago
On the efficiency of domain-based COTS product selection method
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
Karl R. P. H. Leung, Hareton K. N. Leung
ENTCS
2006
137views more  ENTCS 2006»
13 years 7 months ago
Coalgebraic Description of Generalized Binary Methods
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
Furio Honsell, Marina Lenisa, Rekha Redamalla
IWPT
2001
13 years 9 months ago
Efficient Sentence Parsing with Language Specific Features: A case Study of Czech
This paper presents two optimalizations of standard parsing techniques applied to Czech as a representative of a free word order language with rich morphology. Our approach is bas...
Ales Horák, Pavel Smrz
SIGMOD
1996
ACM
120views Database» more  SIGMOD 1996»
13 years 11 months ago
Query Execution Techniques for Caching Expensive Methods
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...
Joseph M. Hellerstein, Jeffrey F. Naughton