
TestEra
 Referenced in 21 articles
[sw07258]
 Alloy models and Java data structures. TestEra produces concrete Java inputs as counterexamples to violated...

mural
 Referenced in 9 articles
[sw23627]
 software system proceeds by making data structures more concrete and by decomposing operations. Formal methods ... comprehensive presentation of both the structure of the “mural” system and of the ideas...

IDARC3D
 Referenced in 2 articles
[sw11977]
 Inelastic Damage Analysis of Reinforced Concrete Structures...

DENA
 Referenced in 2 articles
[sw00197]
 dimensional, metallic and reinforced concrete, structures...

ATENA
 Referenced in 1 article
[sw21529]
 software for nonlinear analysis of reinforced concrete structures. ATENA user Richard Malm says ... that it is specially designed for concrete, which makes it easier for the user since ... real behavior of concrete and reinforced concrete structures including concrete cracking, crushing and reinforcement yielding ... power to check and verify your structural design in a user friendly graphical environment...

OOLACA
 Referenced in 3 articles
[sw09956]
 that allows working not only with concrete algebraic structures, but also with abstract algebraic structures ... define new algebraic structures, and operate with them in abstract and concrete mathematical ways...

Tree Automata
 Referenced in 3 articles
[sw28835]
 algorithms are efficient by using appropriate data structures like RBtrees. The available algorithms ... executable algorithms are derived from lessconcrete, nonexecutable ... algorithms using datarefinement techniques. The concrete data structures are from the Isabelle Collections Framework...

TRANSIT
 Referenced in 5 articles
[sw28674]
 used by the programmer to add new concrete execution fragments that describe the correct behavior ... specification consisting of the EFSM structure and a few concrete examples for every transition...

VecTor2
 Referenced in 1 article
[sw17672]
 nonlinear analysis of twodimensional reinforced concrete membrane structures. VecTor2 is a nonlinear finite element ... analysis of twodimensional reinforced concrete membrane structures subjected to quasistatic load conditions. VecTor2 ... smeared, rotatingcrack formulation for reinforced concrete based on the Modified Compression Field Theory...

FEPACS1
 Referenced in 1 article
[sw01121]
 program for nonlinear analysis of reinforced concrete framed structures. This paper presents a computer program ... nonlinear finite element analysis of reinforced concrete framed structures. A finite element formulation for reinforcement...

Sonar
 Referenced in 3 articles
[sw10884]
 which concrete underlying organizational structure do these rules apply? To address this question, we present...

INACOF
 Referenced in 1 article
[sw01188]
 inelastic analysis of reinforced concrete framed structures The paper presents a generalpurpose computer program ... inelastic analysis of reinforced concrete frames based on the method of imposed rotations. The program ... capable of calculating the response of the structure to a given loading and also capable...

MBase
 Referenced in 17 articles
[sw08724]
 represent mathematical knowledge and analyze its structure. For the logical formulation of mathematical concepts ... mathematical knowledge bases. We propose to concretely equip knowledge bases with a hierarchy of logical...

DynaView
 Referenced in 1 article
[sw07124]
 named DynaView to construct virtual scenes of structural health monitoring (SHM) process. This model consists ... example of a simplified reinforced concrete beam structure model, we obtain raw data through...

Poset
 Referenced in 1 article
[sw31951]
 research, and give abstract mathematical structures a concrete feel so that students can have...

DatTeL
 Referenced in 1 article
[sw10210]
 generic programs suitable for various concrete data structures. Our aim in this paper...

biXid
 Referenced in 9 articles
[sw12667]
 Concretely, we (1) adopt XDucestyle regular expression patterns for describing and analyzing XML structures...

Mafem3D
 Referenced in 1 article
[sw14359]
 nonlinear FEM analysis of reinforced concrete members and structures carried out with use of elasto...

SEMIFEM
 Referenced in 2 articles
[sw19570]
 Reliability analysis of steel braced reinforced concrete frames with semirigid connections. This paper presents ... reliability analysis of the frame structures with semirigid connections. For this purpose, the SEMIFEM ... reliability analysis. Two sets of steel framed structures are analyzed; each of four and eight ... three types of concentrically braced frames. Concrete compression strength limit state in reinforced concrete...

SAP2000
 Referenced in 23 articles
[sw17041]
 This intuitive interface allows you to create structural models rapidly and intuitively without long learning ... seismic loads with comprehensive automatic steel and concrete design code checks per US, Canadian...