Ahza Cake and Bakery is a small culinary business that sells foods such as donuts, pizza, brownies other foods. This company still uses manual sales the marketing reach to small. The purpose of this research design web-based accounting system. method data collection done by interview, observation literature study. analysis technique waterfall development. Programming language using PHP database...

output input valid? test ok? Figure 1. DFD of the testing scenario. is executed with a concrete test input (state). An implemented retrieve function maps the concrete input and output to its abstract representations. A precondition check validates the input and feeds it into the oracle which checks the relation to the produced output. If the postcondition evaluates to true, the test passed. Thi...

A robust state feedback design subject to placement of the closed loop eigenvalues in a prescribed region of unit circle is presented. Quantitative measures of robustness and disturbance rejection are investigated. A stochastic optimization algorithm is used to effect trade-off between the free design parameters and to accomplish all the design criteria. A numerical example is given to illustra...

Structured Analysis (SA) is a widely-used software development method. SA specifications are based on Data Flow Diagrams (DFD's), Data Dictionaries (DD's) and data transformation specifications (P-Specs). As used in practice, SA specifications are not formal. Seemingly orthogonal approaches to specifications are those using formal, object-oriented, model-based specification languages, e.g., VDM...

HOM-C/hox genes specify body pattern by encoding regionally expressed transcription factors that activate the appropriate target genes necessary for differentiation of each body region. The current model of target gene activation suggests that interactions with cofactors influence DNA-binding ability and target gene activation by the HOM-C/hox proteins. Currently, little is known about the spec...

We present a tool for measuring the Function Point software metric from the specification of a software system expressed in the form of an Entity Relationship diagram plus a Data Flow Diagram (ER-DFD). First, the informal and general Function Point counting rules are translated into rigorous rules expressing properties of the ER-DFD. Then, the rigorous rules are ∗ Corresponding author: tel ++39...

Disassembly activities take place in various recovery operations including remanufacturing, recycling and disposal. The disassembly line is the best choice for automated disassembly of returned products. It is therefore important that the disassembly line be designed and balanced so that it works as efficiently as possible. The disassembly line balancing problem seeks a sequence which: is feasi...

The Direct Fusion Drive (DFD) and its terrestrial counterpart, the Princeton Field Reversed Configuration Reactor, have seen significant developments in past decade. Various groups conducted detailed research on required specifications of engine associated technology for power delivery to onboard avionics payloads. Multiple studies also addressed thrust generation mechanism using empirical spec...