• 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 RB-trees. The available algorithms ... executable algorithms are derived from less-concrete, non-executable ... algorithms using data-refinement 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 two-dimensional reinforced concrete membrane structures. VecTor2 is a nonlinear finite element ... analysis of two-dimensional reinforced concrete membrane structures subjected to quasi-static load conditions. VecTor2 ... smeared, rotating-crack 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 general-purpose 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 XDuce-style 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 semi-rigid connections. This paper presents ... reliability analysis of the frame structures with semi-rigid 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...