In a service process of a software system, an intention of a client is satisfied through the cooperative communication between the client and the server. For a description of specification of the system, it is necessary that this communication is explicitly represented as an interaction. This is called interactive specification. At the interaction of the picture painting process, the cooperative communication between client and server is done through the query of the picture data in the database. Picture data has much information compared with numerical or character data. This paper defines the data schema for picture painting so that the client can store, retrieve, and process the data in the database efficiently. This data schema also has an extended relational data model that has a hierarchical structure along the above process. Two types of schema are described in this paper. One is the denotation schema of interactive specification. Another is data schema for the picture painting process. They have the same idea of description.

A painting system has been developed to generate arbitrary still and moving pictures from within the one system. The system is constructed based on a new language, Extensible WELL (Window-based Elaboration Language). Extensible WELL is organized to be available as a language for any specified domain. Appropriate interface is required between Extensible WELL and a language for a specified domain. It is expressed as a schema corresponding to the processes in the specified domain, and is called the object network. Two kinds of object networks are provided in the painting processes for still and moving pictures, and are together combined and then added to Extensible WELL. Thus, being based on Extensible WELL, the painting processes of still and moving pictures are integrated as a system.

Usually, pictures are represented as the set of pairs composed of the location (x, y) of a point and its intensity level f(x, y). For analysis of the scalar function f(x, y), the theory of structure lines are effective because the lines have invariant features for variation of environments where a real object gives a corresponding picture. The division line is especially important in structure lines because the line divides convex or concave domains. Then, we propose the concept of subject mode region in order to analyze the structure of a picture. Subjective mode region is defined as the region enclosed by some division lines. Therefore, subjective mode regions are specified by neighborhood mode relation of luminance value or chrominance separation. The concept of subjective mode region is useful for a stereoscopic picture for a complicated picture such as a human face. A stereoscopic picture is generated by applying the simple geometrical models to subjective mode regions.

Article Software development process from natural language specification Share on Authors: Motoshi Saeki Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152, Japan Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152, JapanView Profile , Hisayuki Horai Fujitsu Limited IIAS-SIS, 1-17-25 Shin-Kamata, Oota-ku, Tokyo 144, Japan Fujitsu Limited IIAS-SIS, 1-17-25 Shin-Kamata, Oota-ku, Tokyo 144, JapanView Profile , Hajime Enomoto Fujitsu Limited IIAS-SIS, 1-17-25 Shin-Kamata, Oota-ku, Tokyo 144, Japan Fujitsu Limited IIAS-SIS, 1-17-25 Shin-Kamata, Oota-ku, Tokyo 144, JapanView Profile Authors Info & Claims ICSE '89: Proceedings of the 11th international conference on Software engineeringMay 1989 Pages 64–73https://doi.org/10.1145/74587.74594Published:15 May 1989 26citation846DownloadsMetricsTotal Citations26Total Downloads846Last 12 Months63Last 6 weeks14 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

Fundamental framework of image data modeling for image description and related high level non-procedural language are presented, Structure lines are introduced as invariant features of image to describe structure of images. To specify such structured features and processes to obtain them, we give general principles for non-procedural specification, that is. separation of definition and control. A non-procedural parallel processing language employing this principle is also introduced with examples.

Butler [6] gave recurrence relations for computing the number Nr(n) of r-valued (r ≥ 2) switching functions of n variables realizable by a cascaded network of n - 1 r-valued cells. The cascades are assumed to have a fixed-input variable assignment. In this correspondence similar recurrence relations are presented for the number Mr(n) of such cascade realizable functions that depend on all n input variables. In particular, for the ternary valued case, explicit formulas for N3(n) and M3(n) are given. Some asymptotic properties of Nr(n) and Mr(n) are also derived, which show that their growth is asymptotically exponential as n increases.